Why double categories? Part 1

Evan Patterson

Mon Jan 15 2024

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