Structured cospans as a cocartesian equipment

Evan Patterson

Tue Aug 08 2023

The theory of structured cospans is dramatically simplified by the use of double-categorical universal properties. Specifically, we show that structured cospans form a cocartesian equipment, a result that is stronger yet easier to prove than the usual result that they form a symmetric monoidal double category.

---

This is a companion discussion topic for the original entry at https://www.epatters.org/post/structured-cospans-cocartesian-equipment