Homotopy coherent adjunctions and the formal theory of monads
From MaRDI portal
(Redirected from Publication:890142)
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)
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.
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
Cites work
- scientific article; zbMATH DE number 3950781 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 5219541 (Why is no real title available?)
- scientific article; zbMATH DE number 3264101 (Why is no real title available?)
- A model category structure on the category of simplicial categories
- Calculating simplicial localizations
- Categorical homotopy theory
- Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
- Flexible limits for 2-categories
- Higher Topos Theory (AM-170)
- Homotopy coherent adjunctions and the formal theory of monads
- Homotopy invariant algebraic structures on topological spaces
- Homotopy limits, completions and localizations
- Homotopy-theoretic aspects of 2-monads
- Icons
- Limits indexed by category-valued 2-functors
- More concise algebraic topology. Localization, completion, and model categories
- On the structure of simplicial categories associated to quasi-categories
- Quasi-categories and Kan complexes
- Rigidification of quasi-categories
- Simplicial localizations of categories
- The formal theory of monads
- The theory and practice of Reedy categories
- Weighted limits in simplicial homotopy theory
Cited in
(53)- Coreflectivity of \(E\)-monads and algebraic hulls
- Extending homotopy theories across adjunctions
- Examples of descent up to nilpotence
- Weighted limits in an \((\infty, 1)\)-category
- Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
- Iterated spans and classical topological field theories
- Lie algebras and v_n-periodic spaces
- Quillen adjunctions induce adjunctions of quasicategories
- Homotopical resolutions associated to deformable adjunctions
- A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences
- 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
- scientific article; zbMATH DE number 2152038 (Why is no real title available?)
- Spherical adjunctions of stable \(\infty \)-categories and the relative S-construction
- 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
- scientific article; zbMATH DE number 6679826 (Why is no real title available?)
- Data structures for quasistrict higher categories
- Homotopy-coherent algebra via Segal conditions
- Stratified noncommutative geometry
- On the structure of simplicial categories associated to quasi-categories
- On lax transformations, adjunctions, and monads in \((\infty,2)\)-categories
- Ambidexterity in chromatic homotopy theory
- Classifiers for monad morphisms and adjunction morphisms
- A classification of Taylor towers of functors of spaces and spectra
- On distributivity in higher algebra I: the universal property of bispans
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories
- The 2-category theory of quasi-categories
- What is an equivalence in a higher category?
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
- Monadicity of the Bousfield–Kuhn functor
- 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
- A homotopy coherent cellular nerve for bicategories
- Coherence for adjunctions in a 3-category via string diagrams
- The monadic tower for \(\infty\)-categories
- The categorified Grothendieck-Riemann-Roch theorem
- 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\)
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)
