CatGloss
Moreover $ h $ is injective and commutes