Deduction System
A list of implications between properties 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, each with detailed descriptions and properties. Built by and for those who love category theory.
Search by properties
You can easily search for categories 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.