Homotopy coherent adjunctions and the formal theory of monads

DOI10.1016/j.aim.2015.09.011zbMath1329.18020arXiv1310.8279OpenAlexW2963300453MaRDI QIDQ890142

Dominic Verity, Emily Riehl

Publication date: 9 November 2015

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1310.8279

zbMATH Keywords

monadadjunctionmonadicityquasi-categorieshomotopy coherence

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Categories in geometry and topology (18F99) Enriched categories (over closed or monoidal categories) (18D20) Topological categories, foundations of homotopy theory (55U40)

Related Items

On the construction of limits and colimits in $\infty$-categories, Weighted limits in an \((\infty, 1)\)-category, Higher stabilization and higher Freudenthal suspension, Derived Koszul duality and \(\mathsf{TQ}\)-homology completion of structured ring spectra, An (∞,2)-categorical pasting theorem, Ambidexterity in chromatic homotopy theory, The Galois group of a stable homotopy theory, Fibrations and Yoneda's lemma in an \(\infty\)-cosmos, SHIFTED COISOTROPIC CORRESPONDENCES, Iterated spans and classical topological field theories, A homotopy coherent cellular nerve for bicategories, Homotopy coherent adjunctions and the formal theory of monads, On distributivity in higher algebra I: the universal property of bispans, Connective models for topological modular forms of level \(n\), A homotopy coherent nerve for \((\infty, n)\)-categories, On straightening for Segal spaces, Recognizing quasi-categorical limits and colimits in homotopy coherent nerves, What is an equivalence in a higher category?, On lax transformations, adjunctions, and monads in $(\infty,2)$-categories, Monadicity of the Bousfield–Kuhn functor, Homotopical resolutions associated to deformable adjunctions, A type theory for synthetic $\infty$-categories, Descent for semiorthogonal decompositions, Lie algebras and \(v_n\)-periodic spaces, A classification of Taylor towers of functors of spaces and spectra, Quillen cohomology of $(\infty,2)$-categories, Unnamed Item, The categorified Grothendieck–Riemann–Roch theorem, The monadic tower for \(\infty\)-categories, The 2-category theory of quasi-categories, A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rigidification of quasi-categories
• Homotopy-theoretic aspects of 2-monads
• Homotopy coherent adjunctions and the formal theory of monads
• Icons
• Simplicial localizations of categories
• Calculating simplicial localizations
• Limits indexed by category-valued 2-functors
• Flexible limits for 2-categories
• Homotopy invariant algebraic structures on topological spaces
• Quasi-categories and Kan complexes
• Weighted limits in simplicial homotopy theory
• Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
• The formal theory of monads
• Homotopy limits, completions and localizations
• The theory and practice of Reedy categories
• Categorical Homotopy Theory
• On the structure of simplicial categories associated to quasi-categories
• A model category structure on the category of simplicial categories
• Higher Topos Theory (AM-170)