A comprehensive database of categories and their properties
5 hours ago
- #category theory
- #deduction system
- #open-source
- Deduction system uses implications between properties for automatic deduction.
- CatDat offers a collection of categories with descriptions, properties, and non-properties.
- Users can search for categories based on specific properties and non-properties.
- Categories can be compared to analyze property alignments or differences.
- The project is open-source and encourages contributions for missing data or new property combinations.
- Early-stage project with potential breaking changes and structural updates.