Beck's monadicity theorem
In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors, introduced by Beck () in about 1964. Is is often stated in dual form for comonads. It is sometimes called the Beck tripleability theorem because of the older term triple for a monad. Beck's monadicity theorem asserts that a functor is monadic if and only if There are several variations of Beck's theorem: if U has a left adjoint then any of the following conditions ensure that U is monadic:
primaryTopic
Beck's monadicity theorem
In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors, introduced by Beck () in about 1964. Is is often stated in dual form for comonads. It is sometimes called the Beck tripleability theorem because of the older term triple for a monad. Beck's monadicity theorem asserts that a functor is monadic if and only if There are several variations of Beck's theorem: if U has a left adjoint then any of the following conditions ensure that U is monadic:
has abstract
In category theory, a branch o ...... ifying the basic developments.
@en
Wikipage page ID
Wikipage revision ID
743,438,085
id
monadic+descent
monadicity+theorem
title
monadic descent
monadicity theorem
comment
In category theory, a branch o ...... ions ensure that U is monadic:
@en
label
Beck's monadicity theorem
@en