CatDat

Searchable database of category-theory structures with automatic property deduction and comparisons.

Webfree

CatDat is a free, searchable database of category-theory structures such as categories, functors, and morphisms, each documented with its properties and proofs. A built-in deduction system automatically infers additional properties and lets users compare multiple structures side by side. It's built for mathematicians and students working with category theory who need a cross-referenced, proof-backed reference.

Website

Full match profile

Behind the summary, Matchbox keeps a richer profile of CatDat - the signals our matcher actually reads to decide when to surface it. It stays private; claim the listing to see and control it.

Problem & pain-point mapping
Who we surface it to (audience fit)
What it's a strong alternative to
Trust & credibility signals

Claim CatDat to unlock →

Try Matchbox with your own problem

Describe what is not working - we’ll show you whether CatDat (or something else) actually fits.

Try a problem