CatGloss
In a non - degenerate topos