Categorica, the categorical categorizing categories.