Commutative diagrams are to these squares what category theory is to analogy.