CatGloss
The pullback of $ begin{CD}(Y