Homotopy coherent adjunctions and the formal theory of monads
From MaRDI portal
Publication:890142
DOI10.1016/J.AIM.2015.09.011zbMATH Open1329.18020arXiv1310.8279OpenAlexW2963300453MaRDI QIDQ890142FDOQ890142
Authors: Emily Riehl, Dominic Verity 
Publication date: 9 November 2015
Published in: Advances in Mathematics (Search for Journal in Brave)
Abstract: In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed are nerves of categories, which indicates that all of the expected coherence equations in each dimension are present. To justify our terminology, we prove that any adjunction of quasi-categories extends to a homotopy coherent adjunction and furthermore that these extensions are homotopically unique in the sense that the relevant spaces of extensions are contractible Kan complexes. We extract several simplicial functors from the free homotopy coherent adjunction and show that quasi-categories are closed under weighted limits with these weights. These weighted limits are used to define the homotopy coherent monadic adjunction associated to a homotopy coherent monad. We show that each vertex in the quasi-category of algebras for a homotopy coherent monad is a codescent object of a canonical diagram of free algebras. To conclude, we prove the quasi-categorical monadicity theorem, describing conditions under which the canonical comparison functor from a homotopy coherent adjunction to the associated monadic adjunction is an equivalence of quasi-categories. Our proofs reveal that a mild variant of Beck's argument is "all in the weights" - much of it independent of the quasi-categorical context.
Full work available at URL: https://arxiv.org/abs/1310.8279
Recommendations
- Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
- The 2-category theory of quasi-categories
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
- A homotopy theory of coherently commutative monoidal quasi-categories
- Quasi-categories and Kan complexes
Simplicial sets and complexes in algebraic topology (55U10) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40) Enriched categories (over closed or monoidal categories) (18D20) Categories in geometry and topology (18F99)
Cites Work
- Title not available (Why is that?)
- Homotopy limits, completions and localizations
- Higher Topos Theory (AM-170)
- More concise algebraic topology. Localization, completion, and model categories
- Homotopy invariant algebraic structures on topological spaces
- The formal theory of monads
- Title not available (Why is that?)
- Homotopy-theoretic aspects of 2-monads
- Icons
- Simplicial localizations of categories
- Quasi-categories and Kan complexes
- A model category structure on the category of simplicial categories
- Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
- The theory and practice of Reedy categories
- Categorical homotopy theory
- Title not available (Why is that?)
- Homotopy coherent adjunctions and the formal theory of monads
- Limits indexed by category-valued 2-functors
- Calculating simplicial localizations
- Flexible limits for 2-categories
- Title not available (Why is that?)
- Weighted limits in simplicial homotopy theory
- On the structure of simplicial categories associated to quasi-categories
- Title not available (Why is that?)
- Rigidification of quasi-categories
Cited In (53)
- Weighted limits in an \((\infty, 1)\)-category
- Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
- Lie algebras and \(v_n\)-periodic spaces
- Iterated spans and classical topological field theories
- A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences
- Quillen adjunctions induce adjunctions of quasicategories
- Homotopical resolutions associated to deformable adjunctions
- Descent for semiorthogonal decompositions
- The Galois group of a stable homotopy theory
- On truncated quasi-categories
- On the construction of limits and colimits in $\infty$-categories
- An \((\infty ,2)\)-categorical pasting theorem
- Quillen cohomology of \((\infty, 2)\)-categories
- Spherical adjunctions of stable \(\infty \)-categories and the relative S-construction
- Title not available (Why is that?)
- Derived Koszul duality and \(\mathsf{TQ}\)-homology completion of structured ring spectra
- Functors (between \(\infty \)-categories) that aren't strictly unital
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
- Title not available (Why is that?)
- Data structures for quasistrict higher categories
- Stratified noncommutative geometry
- Homotopy-coherent algebra via Segal conditions
- On the structure of simplicial categories associated to quasi-categories
- On lax transformations, adjunctions, and monads in \((\infty,2)\)-categories
- Classifiers for monad morphisms and adjunction morphisms
- Ambidexterity in chromatic homotopy theory
- On distributivity in higher algebra I: the universal property of bispans
- A classification of Taylor towers of functors of spaces and spectra
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories
- What is an equivalence in a higher category?
- The 2-category theory of quasi-categories
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Monadicity of the Bousfield–Kuhn functor
- Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
- Shifted coisotropic correspondences
- Higher stabilization and higher Freudenthal suspension
- Adjunctions of quasi-functors between dg-categories
- Homotopy coherent adjunctions and the formal theory of monads
- Coherence for adjunctions in a 3-category via string diagrams
- A homotopy coherent cellular nerve for bicategories
- The categorified Grothendieck-Riemann-Roch theorem
- The monadic tower for \(\infty\)-categories
- Quasi-categories and Kan complexes
- A type theory for synthetic \(\infty\)-categories
- \(\infty\)-categorical monadicity and descent
- Spherical Monadic Adjunctions of Stable Infinity Categories
- A homotopy coherent nerve for \((\infty, n)\)-categories
- On Morita weak equivalences of simplicial algebraic theories and operads
- On straightening for Segal spaces
- Connective models for topological modular forms of level \(n\)
- Examples of descent up to nilpotence
- Coreflectivity of \(E\)-monads and algebraic hulls
- Extending homotopy theories across adjunctions
This page was built for publication: Homotopy coherent adjunctions and the formal theory of monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890142)
