Beck's monadicity theorem
In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors, introduced by Jonathan Mock Beck in about 1964. It 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:
Link from a Wikipage to another Wikipage
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 Jonathan Mock Beck in about 1964. It 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
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,019,227,499
Link from a Wikipage to another Wikipage
authorlink
Jonathan Mock Beck
@en
first
Jonathan Mock
@en
id
monadic+descent
@en
monadicity+theorem
@en
last
Beck
@en
title
monadic descent
@en
monadicity theorem
@en
wikiPageUsesTemplate
comment
In category theory, a branch o ...... ions ensure that U is monadic:
@en
label
Beck's monadicity theorem
@en