Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Beck's_monadicity_theorem> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Beck's_monadicity_theorem abstract "In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors. It asserts that a functor is monadic if and only if U has a left adjoint; U reflects isomorphisms; and 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.The second and third condition together can be replaced by a modified condition: every fork in C which is by U sent to a split coequalizer sequence in Dis itself a coequalizer sequence in C. In different words, U creates (preserves and reflects) U-split coequalizer sequences. This is a basic result of Jonathan Mock Beck from around 1967, often stated in dual form for comonads. It is also sometimes called the Beck tripleability theorem because of the older term triple for a monad.This theorem is particularly important in its relation with the descent theory, which plays role in sheaf and stack theory, as well as in the 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 Bénabou and 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.".
- Beck's_monadicity_theorem wikiPageExternalLink ttt.
- Beck's_monadicity_theorem wikiPageExternalLink 0206203.
- Beck's_monadicity_theorem wikiPageExternalLink ttt.pdf.
- Beck's_monadicity_theorem wikiPageExternalLink ttt.html.
- Beck's_monadicity_theorem wikiPageID "2082726".
- Beck's_monadicity_theorem wikiPageRevisionID "562871092".
- Beck's_monadicity_theorem hasPhotoCollection Beck's_monadicity_theorem.
- Beck's_monadicity_theorem id "monadicity+theorem".
- Beck's_monadicity_theorem title "monadicity theorem".
- Beck's_monadicity_theorem subject Category:Adjoint_functors.
- Beck's_monadicity_theorem subject Category:Theorems_in_algebra.
- Beck's_monadicity_theorem subject Category:Theorems_in_algebraic_geometry.
- Beck's_monadicity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Beck's_monadicity_theorem type Abstraction100002137.
- Beck's_monadicity_theorem type Communication100033020.
- Beck's_monadicity_theorem type Message106598915.
- Beck's_monadicity_theorem type Proposition106750804.
- Beck's_monadicity_theorem type Statement106722453.
- Beck's_monadicity_theorem type Theorem106752293.
- Beck's_monadicity_theorem type TheoremsInAlgebra.
- Beck's_monadicity_theorem type TheoremsInAlgebraicGeometry.
- Beck's_monadicity_theorem type TheoremsInTheFoundationsOfMathematics.
- Beck's_monadicity_theorem comment "In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors.".
- Beck's_monadicity_theorem label "Beck's monadicity theorem".
- Beck's_monadicity_theorem sameAs m.06k_9t.
- Beck's_monadicity_theorem sameAs Q4878586.
- Beck's_monadicity_theorem sameAs Q4878586.
- Beck's_monadicity_theorem sameAs Beck's_monadicity_theorem.
- Beck's_monadicity_theorem wasDerivedFrom Beck's_monadicity_theorem?oldid=562871092.
- Beck's_monadicity_theorem isPrimaryTopicOf Beck's_monadicity_theorem.