CatGloss

This leads us to the categorial versions of subsets