CatGloss

The pullback of $ begin{CD}(Y