Relations et carrés exacts / 1. Exactness in the 2-category $\Cat$ [001A] / [0021] Theorem 1·k (Composition rules). Using Definition 1·b [001M], exact squares can be composed horizontally or vertically Theorem 1·j. PP criterion; pointwise left extension [001Z] Theorem 1·l. D criterion [0022]