The SmallCategories Project aims to produce, maintain, and make available a database of small finite
categories which is useful and useable.
The list of categories itself is produced by running the Minion constraint solver to enumerate all
category structures on a given
finite set, then eliminating isomorphic copies by brute force. You can find the source code for all of
This website uses a postgres database to store the list of categories and selected propositions about them. The values of the propositions are computed using pycatlib, a tiny python library I wrote for this purpose.
You can find the source code for this website here.
SmallCategories is (so far) a personal project by myself, Ben
Spitz. But if you're
interested in contributing, please get in touch!