[0026] Theorem 1·p (Exponentiation rule).

In $\mathbb K=\Cat$, a square is exact if and only if it is strong exact.