nLab higher monadic descent

Idea

Higher monadic descent is the generalization of the notion of monadic descent from category theory to higher category theory. It relates to the descent of ∞-stacks as ordinary monad descent relates to stacks.

See also cohomological descent.

Examples

Amitsur complex, Sweedler corings, Hopf algebroids

For $\phi \,\colon\, B \longrightarrow A$ a homomorphism of suitable monoids, there is the corresponding pull-push adjunction (extension of scalars $\dashv$ restriction of scalars) on categories of modules

$$\big( (- )\otimes_B A \dashv \phi^\ast \big) \;\colon\; Mod_A \underoverset {\underset{\;\; \phi^\ast \;\;}{\longrightarrow}} {\overset{(-)\otimes_B A}{\longleftarrow}} {\bot} Mod_B \,.$$

The bar construction of the corresponding monad is the corresponding Amitsur complex.

(e.g. Hess 10, section 6)

Related concepts

• descent

  • cover

  • cohomological descent

  • monadic descent,

    • Sweedler coring

    • higher monadic descent

    • descent in noncommutative algebraic geometry

  • descent spectral sequence

• sheaf, (2,1)-sheaf, 2-sheaf (∞,1)-sheaf

References

2-categorical monadic descent

A pseudomonadicity theorem for pseudomonads is proved in Theorem 3.6 of:

• I. J. Le Creurer, Francisco Marmolejo, Enrico M. Vitale, Beck’s theorem for pseudo-monads, J. Pure Appl. Algebra 173 3 (2002) 293-313 [doi:10.1016/S0022-4049(02)00038-5]

and sharpened in Theorem A.2 of:

• Claudio Hermida, Descent on 2-fibrations and strongly 2-regular 2-categories, Appl. Categ. Structures 12 5-6 (2004) 427-459 [doi:10.1023/B:APCS.0000049311.17100.da]

(see Remark A.3 for a comparison with the work of Creurer et al.).

More generally, this paper discusses a notion of 2-fibered categories, originally defined in Gray’s work, and then again introduced and discussed at length in this paper. The appendix also discusses a 2-categorical version of Beck-Chevalley condition needed for a comparison with 2-monadic descent.

$(\infty,1)$-categorical monadic descent

A comprehensive treatment in the context of (∞,1)-category-theory, general theory of (∞,1)-monads and their monadicity theorem is in

• Jacob Lurie, Derived algebraic geometry II: Noncommutative algebra, math.CT/0702299, Section 3.

later absorbed as

• Jacob Lurie, section 6.2.4 of Higher Algebra

Unfortunately, Kontsevich‘s monadicity theorem (July 2004) which is in the setup of A-∞-categories, still remains unpublished. The triangulated version is in Rosenberg’s lectures

• A. L. Rosenberg, Topics in noncommutative algebraic geometry, homological algebra and K-theory, preprint MPIM Bonn 2008-57 pdf, page 36-37.

Its proof is based on Verdier's abelianization functor.

See also, for another point of view,

• Paul Balmer, Descent in triangulated categories, pdf

Discussion of monadic descent for simplicially enriched categories is in

• Kathryn Hess, A general framework for homotopic descent and codescent, arXiv/1001.1556

• Kathryn Hess, Brooke Shipley, The homotopy theory of coalgebras over a comonad (arXiv:1205.3979)

and for quasi-categories in

• Emily Riehl, Dominic Verity, Homotopy coherent adjunctions and the formal theory of monads (arXiv:1310.8279)