In $\Cat$, we have that a square $\vf : US \To VT$ in $\Cat$ is exact if and only if the square is exact.
This is evident using criteria 1·c·c [001Q], 1·f [001V] or Remark 1·i [001Y].
In $\Cat$, we have that a square $\vf : US \To VT$ in $\Cat$ is exact if and only if the square is exact.
This is evident using criteria 1·c·c [001Q], 1·f [001V] or Remark 1·i [001Y].