A monadicity theorem for higher algebraic structures

Abstract: Given a

i n f t y

-category X we exhibit the

i n f t y

-category of right adjoint functors with target X as a localization of the opposite of the

i n f t y

-category of monads on X. This localization restricts to an equivalence between the

i n f t y

-category of monadic functors with target X and the opposite of the

i n f t y

-category of monads on X. We refine this result in the case that the monads carry "algebraic" structure, e.g. are monads on a (symmetric) monoidal

i n f t y

-category compatible with the (symmetric) monoidal structure, monads on a

i n f t y

-operad compatible with the

i n f t y

-operad structure or monads on a double

i n f t y

-category compatible with this structure. This says that structure on a monad corresponds to structure on its

i n f t y

-category of algebras. Moreover we prove dual results about left adjoint functors, comonads and comonadic functors.

This page was built for publication: A monadicity theorem for higher algebraic structures