A comprehensive database of categories and their properties
CatDat provides a growing collection of categories, each with detailed descriptions, properties, and non-properties. It leverages a powerful deduction system based on a list of implications, which allows for automatic deduction of properties and non-properties from more basic ones.
Additionally, you can search for categories with specific properties or non-properties, and also compare several categories to see how their properties align or differ.
This community-driven project is open-source and welcomes contributions to fill in missing data or observe new combinations of properties.
Notice that this project is still in its early stages. Breaking changes are possible. Also, the domain might change in the near future.