Commutative diagrams are to these squares what category theory is to analogy.
There's a mapping there, however it's not natural.
noqc, can you diagram your comment?