The following pages link to Monads in double categories (Q531324):
Displaying 4 items.
- String diagrams for traced and compact categories are oriented 1-cobordisms (Q1684755) (← links)
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
- The formal theory of relative monads (Q6496517) (← links)