*([V  \xrightarrow{p}  X])\Bigr]$$ and linearly extended.  [**Pullback operation**]{}: For an independent square $$\CD X' @> g' >> X \\ @V f' VV @VV f V\\ Y' @>> g > Y, \endCD$$ the pullback operation $$g^* : \b