some infrastructure for explicit category schemes, motivated by Wikipedia