Relations et carrés exacts / 1. Exactness in the 2-category $\Cat$ [001A] / [0026] Theorem 1·p (Exponentiation rule). In $\mathbb K=\Cat$, a square is exact if and only if it is strong exact. Definition 1·o. Strong exact square [0025] Example 1·q [0027]