-categorical monadicity and descent

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

adjunctions descent infinity-cosmoi inifinity-categories monads

Functor categories, comma categories (18A25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Spectral sequences, hypercohomology (18G40) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: Riehl and Verity have introduced an "

i n f t y

-cosmic" framework in which they redevelop the category theory of

i n f t y

-categories using 2-categorical arguments. In this paper, we begin with a self-contained review of the parts of their theory needed to discuss adjunctions and monadicity. This is applied in order to extend to the

i n f t y

-categorical context the classical criterion for fully faithfulness of the comparison functor induced by an adjunction. We discuss the relation with previous work in the literature---which primarily uses model-categorical techniques---and indicate applications to descent theory.

Review text

This work gives a contribution to the study of monadic adjunctions and descent in a very general and abstract framework, from higher category theory. Its setup is \textit{\(\infty\)-cosmoi} (see Definitions 2.1 and 2.7), which come from the works by \textit{E. Riehl} and \textit{D. Verity} [Adv. Math. 280, 549--642 (2015; Zbl 1319.18005); Adv. Math. 286, 802--888 (2016; Zbl 1329.18020); J. Pure Appl. Algebra 221, No. 3, 499--564 (2017; Zbl 1378.18007)]. Given a \textit{homotopy coherent monad} in this context, one may define the \(\infty\)-category of \textit{homotopy coherent algebras} over it (see Definition 2.34). Every \textit{homotopy coherent adjunction} gives rise to a homotopy coherent monad and to a comparison functor from the source of the right adjoint to the category of homotopy coherent algebras over it. The main result of the article (Theorem of its Introduction) gives a necessary and sufficient condition so that this comparison is fully faithfull (see Definition 3.2 for the meaning of this notion in the framework of \(\infty\)-cosmoi). It is applied to a very general notion of \textit{descent} (see \S 3.3), which is the main motivation of this work, in particular to some kind of \textit{descent spectral sequences} (see \S 3.4).

Recommendations

Cited in

(2)

This page was built for publication: \(\infty\)-categorical monadicity and descent

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2360802)