CatGloss

But the requirement that the diagram commutes