Toward compact double categories: Part 2

Evan Patterson

Wed Jun 26 2024

We propose a definition of a compact double category, intended to axiomatize dualities such as the opposite category and the opposite ring. The definition uses the “twisted” Hom double functor introduced in the previous post.

---

This is a companion discussion topic for the original entry at https://www.epatters.org/post/compact-double-categories-2