| dbo:abstract |
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 1. * U has a left adjoint; 2. * U reflects isomorphisms (if U(f) is an isomorphism then so is f); and 3. * C has coequalizers of U-split parallel pairs (those parallel pairs of morphisms in C, which U sends to pairs having a split coequalizer in D), and U preserves those coequalizers. 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: * U reflects isomorphisms and C has coequalizers of reflexive pairs (those with a common right inverse) and U preserves those coequalizers. (This gives the crude monadicity theorem.) * Every diagram in C which is by U sent to a split coequalizer sequence in D is itself a coequalizer sequence in C. In different words, U creates (preserves and reflects) U-split coequalizer sequences. Another variation of Beck's theorem characterizes strictly monadic functors: those for which the comparison functor is an isomorphism rather than just an equivalence of categories. For this version the definitions of what it means to create coequalizers is changed slightly: the coequalizer has to be unique rather than just unique up to isomorphism. Beck's theorem is particularly important in its relation with the descent theory, which plays a role in sheaf and stack theory, as well as in the Alexander Grothendieck's approach to algebraic geometry. Most cases of faithfully flat descent of algebraic structures (e.g. those in FGA and in SGA1) are special cases of Beck's theorem. The theorem gives an exact categorical description of the process of 'descent', at this level. In 1970 the Grothendieck approach via fibered categories and descent data was shown (by Jean Bénabou and Jacques Roubaud) to be equivalent (under some conditions) to the comonad approach. In a later work, Pierre Deligne applied Beck's theorem to Tannakian category theory, greatly simplifying the basic developments. (en) |
| dbo:wikiPageExternalLink |
http://www.math.mcgill.ca/barr/papers/tttall.pdf https://www.emis.de/journals/TAC/reprints/articles/2/tr2.pdf https://books.google.com/books%3Fid=KxH0BwAAQBAJ https://books.google.com/books%3Fid=YfzImoopB-IC&pg=PP1 |
| dbo:wikiPageID |
2082726 (xsd:integer) |
| dbo:wikiPageLength |
8833 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1090287644 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Cambridge_University_Press dbr:Algebraic_structure dbr:C*-algebras dbr:Jacques_Roubaud dbr:Comonad dbr:Mathematics dbr:Equivalence_of_categories dbr:Functor dbr:Mathematische_Annalen dbr:Stack_(mathematics) dbr:Adjoint_functors dbc:Adjoint_functors dbr:Semigroup dbr:Tannakian_category dbr:Alexander_Grothendieck dbr:Algebraic_geometry dbr:Fondements_de_la_Géometrie_Algébrique dbr:Isomorphism dbr:Jean_Bénabou dbc:Category_theory dbr:Coequalizer dbr:Pierre_Deligne dbr:Category_theory dbr:Sheaf_(mathematics) dbr:Unit_ball dbr:Fibered_category dbr:Gelfand_duality dbr:Grothendieck's_Séminaire_de_géométrie_algébrique dbr:Descent_(category_theory) dbr:Descent_data dbr:Monadic_functor |
| dbp:authorlink |
Jonathan Mock Beck (en) |
| dbp:first |
Jonathan Mock (en) |
| dbp:id |
monadic+descent (en) monadicity+theorem (en) |
| dbp:last |
Beck (en) |
| dbp:title |
monadic descent (en) monadicity theorem (en) |
| dbp:wikiPageUsesTemplate |
dbt:Citation dbt:Harvtxt dbt:Nlab dbt:Reflist dbt:Technical dbt:Harvs |
| dbp:year |
2003 (xsd:integer) |
| dct:subject |
dbc:Adjoint_functors dbc:Category_theory |
| rdf:type |
yago:WikicatTheoremsInAlgebra yago:WikicatTheoremsInAlgebraicGeometry yago:WikicatTheoremsInTheFoundationsOfMathematics yago:Abstraction100002137 yago:Communication100033020 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 |
| rdfs:comment |
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: (en) |
| rdfs:label |
Beck's monadicity theorem (en) |
| owl:sameAs |
freebase:Beck's monadicity theorem wikidata:Beck's monadicity theorem https://global.dbpedia.org/id/4Wk6B |
| prov:wasDerivedFrom |
wikipedia-en:Beck's_monadicity_theorem?oldid=1090287644&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Beck's_monadicity_theorem |
| is dbo:wikiPageRedirects of |
dbr:Beck's_criterion dbr:Beck's_theorem_(category_theory) dbr:Beck_monadicity_theorem dbr:Beck_theorem_(category_theory) dbr:Beck_tripleability_theorem |
| is dbo:wikiPageWikiLink of |
dbr:Monad_(category_theory) dbr:Descent_(mathematics) dbr:Glossary_of_category_theory dbr:Jonathan_Mock_Beck dbr:Beck's_theorem dbr:Faithfully_flat_descent dbr:Pierre_Deligne dbr:List_of_theorems dbr:Beck's_criterion dbr:Beck's_theorem_(category_theory) dbr:Beck_monadicity_theorem dbr:Beck_theorem_(category_theory) dbr:Beck_tripleability_theorem |
| is foaf:primaryTopic of |
wikipedia-en:Beck's_monadicity_theorem |