The following pages link to (Q5549833):
Displaying 30 items.
- Coherence for modalities (Q531368) (← links)
- The path relation for directed planar graphs in rectangles, and its relation to the free diad (Q626863) (← links)
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
- Algebra and local presentability: how algebraic are they? (A survey) (Q680309) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals (Q725281) (← links)
- Matrices, relations, and group representations (Q757580) (← links)
- Homotopy coherent adjunctions and the formal theory of monads (Q890142) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Limits indexed by category-valued 2-functors (Q1229294) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- A coherent approach to pseudomonads (Q1578071) (← links)
- The universal property of the multitude of trees (Q1588060) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory (Q1647403) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- On Hopf adjunctions, Hopf monads and Frobenius-type properties (Q1701170) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Wreaths, mixed wreaths and twisted coactions (Q2406555) (← links)
- Triangulations, orientals, and skew monoidal categories (Q2445835) (← links)
- (Q2709566) (← links)
- (Q3121018) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q3876103) (← links)
- (Q3913564) (← links)
- (Q4138878) (← links)
- Pseudo-Kan Extensions and Descent Theory (Q4563239) (← links)
- Causal inference via string diagram surgery (Q5076389) (← links)
- Strictification tensor product of 2-categories (Q5233737) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
