😺 Welcome to SmallCategories!

The SmallCategories Project aims to build a useful, useable database of small finite categories. There are currently categories in the database, including all categories with ≤7 morphisms!

SmallCats.info is in active development. The database and functionality are not yet complete, all data is subject to change, and you are likely to encounter bugs!