A comprehensive database of categories and their properties
2 months ago
- #category theory
- #deduction system
- #open-source
- 演绎系统利用属性间的隐含关系进行自动推导。
- CatDat提供带有描述、属性及非属性的类别集合。
- 用户可根据特定属性和非属性搜索类别。
- 可对比不同类别以分析属性的一致性差异。
- 该项目为开源项目，鼓励用户贡献缺失数据或新属性组合。
- 目前处于早期阶段，可能存在重大变更与结构调整。