The first of a series of posts on “why double categories?” beginning with the answer that double categories reconstruct the algebra of relations from universal properties.
This is a companion discussion topic for the original entry at https://www.epatters.org/post/why-double-categories-1