The following pages link to Two-dimensional monad theory (Q1121980):
Displaying 50 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Lax orthogonal factorisation systems (Q317326) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Centers and homotopy centers in enriched monoidal categories (Q436127) (← links)
- Triposes, q-toposes and toposes (Q476121) (← links)
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher'' Morita categories (Q502639) (← links)
- Central extensions of smooth 2-groups and a finite-dimensional string 2-group (Q538526) (← links)
- Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (Q633802) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Enhanced 2-categories and limits for lax morphisms (Q655343) (← links)
- Not every pseudoalgebra is equivalent to a strict one (Q664768) (← links)
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads (Q690382) (← links)
- 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)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Algebraic weak factorisation systems. II: Categories of weak maps. (Q886978) (← links)
- Commutativity (Q899553) (← links)
- Enriched categories as a free cocompletion (Q904009) (← 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)
- Homomorphisms of higher categories (Q984873) (← links)
- Icons (Q987490) (← 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)
- Skew monoidal categories and skew multicategories (Q1647335) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- \(K\)-theory for 2-categories (Q1678146) (← links)
- The Gray tensor product via factorisation (Q1681847) (← links)
- Levelwise modules over separable monads on stable derivators (Q1703587) (← links)
- How strict is strictification? (Q1730856) (← links)
- Pseudoalgebras and non-canonical isomorphisms (Q1732881) (← links)
- A general limit lifting theorem for 2-dimensional monad theory (Q1743022) (← links)
- The free category with products on a multigraph (Q1825946) (← links)
- Category seminar. Proceedings Sydney category theory seminar 1972/1973 (Q1844651) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Codescent objects and coherence (Q1850103) (← links)
