Category Deductions
A list of implications between properties of categories allows for automatic deduction of satisfied and unsatisfied properties from more basic ones.
A comprehensive database of categories and their properties
CatDat provides a growing collection of categories and functors, each with detailed descriptions and properties. Built by and for those who love category theory.
Functor Deductions
There is also a list of implications between functor properties, enabling automatic reasoning about functors.
Search by properties
You can easily search for categories and search for functors that satisfy specific properties while not satisfying others.
Compare categories
You can compare categories to see how their properties align or differ.
Community-driven
This project is open-source and welcomes contributions to fill in missing data or observe new combinations of properties.
Note that this project is still in its early stages. Breaking changes are likely, and the structure of the application and the database may change without notice.