Category Deductions
A list of implications between properties of categories allows for automatic deduction of satisfied and unsatisfied properties from more basic ones.
CatDat provides a growing collection of categories and functors, each with detailed descriptions and properties. Built by and for those who love category theory.
A list of implications between properties of categories allows for automatic deduction of satisfied and unsatisfied properties from more basic ones.
There is also a list of implications between functor properties, enabling automatic reasoning about functors.
You can easily search for categories and search for functors that satisfy specific properties while not satisfying others.
You can compare categories to see how their properties align or differ.
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.