A comprehensive and searchable database of categories and their properties

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.