CatGloss
Again, Remarks X apply. We call X a
pullback square
. Another name for pullback is fibred product.