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