CatGloss
But the requirement that the diagram commutes