dataset website , code repository

  • Martin Brandenburg

CatDat is a searchable database of categories and their properties, with a deduction system that infers properties from a database of implications and automatic dualization of implications. It is open for contributions.