Pages that link to "Item:Q847558"
From MaRDI portal
The following pages link to Homotopy-theoretic aspects of 2-monads (Q847558):
Displaying 34 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Centers and homotopy centers in enriched monoidal categories (Q436127) (← links)
- Enriched weakness (Q456851) (← links)
- A general theory of self-similarity (Q626101) (← links)
- Enhanced 2-categories and limits for lax morphisms (Q655343) (← links)
- Algebraic weak factorisation systems. II: Categories of weak maps. (Q886978) (← links)
- Homotopy coherent adjunctions and the formal theory of monads (Q890142) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- Model structures on the category of small double categories (Q1007175) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- String diagrams for traced and compact categories are oriented 1-cobordisms (Q1684755) (← links)
- How strict is strictification? (Q1730856) (← links)
- On semiflexible, flexible and pie algebras (Q1946170) (← links)
- Skew structures in 2-category theory and homotopy theory (Q2012168) (← links)
- A colimit decomposition for homotopy algebras in Cat (Q2015815) (← links)
- On \(\infty\)-cosmoi of bicategories (Q2105778) (← links)
- Adjoint functor theorems for homotopically enriched categories (Q2111223) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- Equipping weak equivalences with algebraic structure (Q2305674) (← links)
- Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads (Q2311858) (← links)
- Monoidal algebraic model structures (Q2376561) (← links)
- Two-dimensional monadicity (Q2445311) (← links)
- (Q3209226) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- (Q5025075) (← links)
- On Krull-Schmidt bicategories (Q5025083) (← links)
- An interpretation of dependent type theory in a model category of locally cartesian closed categories (Q5076386) (← links)
- Symmetric monoidal categories and $\Gamma$-categories (Q5107544) (← links)
- Iterated algebraic injectivity and the faithfulness conjecture (Q5149953) (← links)
- Integration of $2$-term representations up to homotopy via $2$-functors (Q5222746) (← links)
- A criterion for existence of right‐induced model structures (Q5229528) (← links)
- Arrow categories of monoidal model categories (Q5242808) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)
