The following pages link to Two-dimensional monad theory (Q1121980):
Displayed 38 items.
- Coinverters and categories of fractions for categories with structure (Q690384) (← links)
- Limits for lax morphisms (Q816648) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Generic models for computational effects (Q860841) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- A 2-categorical pasting theorem (Q912202) (← links)
- Laplaza sets, or how to select coherence diagrams for pseudo algebras (Q936532) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- Model structures on the category of small double categories (Q1007175) (← links)
- A general coherence result (Q1118027) (← links)
- Flexible limits for 2-categories (Q1262939) (← links)
- Tortile tensor categories (Q1321051) (← links)
- Interpolation property for bicartesian closed categories (Q1337501) (← links)
- Enrichment through variation (Q1368592) (← links)
- On the generic solution to \(P(X)\cong X\) in distributive categories (Q1380052) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- A representation result for free cocompletions (Q1584038) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- Beck's theorem for pseudo-monads (Q1612173) (← links)
- The free category with products on a multigraph (Q1825946) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Codescent objects and coherence (Q1850103) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- The Eckmann-Hilton argument and higher operads (Q2461790) (← links)
- 2-nerves for bicategories (Q2481128) (← links)
- (Q2709566) (← links)
- (Q3423074) (← links)
- Homotopy limits for 2-categories (Q3514873) (← links)
- A characterization of pie limits (Q3977014) (← links)
- A formalism for the specification of essentially-algebraic structures in 2-categories (Q4006237) (← links)
- Lambek's categorical proof theory and Läuchli's abstract realizability (Q4008758) (← links)
- (Q4362079) (← links)
- From coherent structures to universal properties (Q5954120) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)
- Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations (Q5960410) (← links)