SmallCategories dataset website Ben Spitz The SmallCategories Project aims to build a useful, useable database of small finite categories.