[0018] 0018.

§1 introduces the concept of exact square in a representable 2-category (cf. H. §1.4).