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 welcomes contributions to fill in missing data or observe new combinations of properties.