CatGloss

_ The category N of the last example is a category because the structure $ (N