Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Monad_(category_theory)> ?p ?o }
- Monad_(category_theory) abstract "In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is an endofunctor (a functor mapping a category to itself), together with two natural transformations. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories.".
- Monad_(category_theory) thumbnail Coherence_law_for_the_multiplication_of_a_monad.svg?width=300.
- Monad_(category_theory) wikiPageExternalLink categories.pdf.
- Monad_(category_theory) wikiPageExternalLink week89.html.
- Monad_(category_theory) wikiPageExternalLink tr22.pdf.
- Monad_(category_theory) wikiPageExternalLink view_play_list?p=0E91279846EC843E.
- Monad_(category_theory) wikiPageID "355140".
- Monad_(category_theory) wikiPageLength "14349".
- Monad_(category_theory) wikiPageOutDegree "89".
- Monad_(category_theory) wikiPageRevisionID "692583827".
- Monad_(category_theory) wikiPageWikiLink 2-category.
- Monad_(category_theory) wikiPageWikiLink Abstract_algebra.
- Monad_(category_theory) wikiPageWikiLink Adjoint_functors.
- Monad_(category_theory) wikiPageWikiLink Algebraic_geometry.
- Monad_(category_theory) wikiPageWikiLink Associative_property.
- Monad_(category_theory) wikiPageWikiLink Category_theory.
- Monad_(category_theory) wikiPageWikiLink Becks_monadicity_theorem.
- Monad_(category_theory) wikiPageWikiLink Cambridge_University_Press.
- Monad_(category_theory) wikiPageWikiLink Category:Adjoint_functors.
- Monad_(category_theory) wikiPageWikiLink Category_of_groups.
- Monad_(category_theory) wikiPageWikiLink Category_of_sets.
- Monad_(category_theory) wikiPageWikiLink Category_theory.
- Monad_(category_theory) wikiPageWikiLink Charles_Wells_(mathematician).
- Monad_(category_theory) wikiPageWikiLink Closure_operator.
- Monad_(category_theory) wikiPageWikiLink Coherence_condition.
- Monad_(category_theory) wikiPageWikiLink Commutative_diagram.
- Monad_(category_theory) wikiPageWikiLink Concatenation.
- Monad_(category_theory) wikiPageWikiLink Descent_(mathematics).
- Monad_(category_theory) wikiPageWikiLink Distributive_law_between_monads.
- Monad_(category_theory) wikiPageWikiLink Dual_(category_theory).
- Monad_(category_theory) wikiPageWikiLink Equivalence_of_categories.
- Monad_(category_theory) wikiPageWikiLink Equivalence_relation.
- Monad_(category_theory) wikiPageWikiLink Fiber_(mathematics).
- Monad_(category_theory) wikiPageWikiLink Forgetful_functor.
- Monad_(category_theory) wikiPageWikiLink Free_group.
- Monad_(category_theory) wikiPageWikiLink Functional_programming.
- Monad_(category_theory) wikiPageWikiLink Functor.
- Monad_(category_theory) wikiPageWikiLink Galois_connection.
- Monad_(category_theory) wikiPageWikiLink Group_(mathematics).
- Monad_(category_theory) wikiPageWikiLink Identity_element.
- Monad_(category_theory) wikiPageWikiLink If_and_only_if.
- Monad_(category_theory) wikiPageWikiLink Image_(mathematics).
- Monad_(category_theory) wikiPageWikiLink Interior_algebra.
- Monad_(category_theory) wikiPageWikiLink Intuitionistic_logic.
- Monad_(category_theory) wikiPageWikiLink Kleisli_category.
- Monad_(category_theory) wikiPageWikiLink Mathematical_model.
- Monad_(category_theory) wikiPageWikiLink Michael_Barr_(mathematician).
- Monad_(category_theory) wikiPageWikiLink Modal_logic.
- Monad_(category_theory) wikiPageWikiLink Monad.
- Monad_(category_theory) wikiPageWikiLink Monad_(functional_programming).
- Monad_(category_theory) wikiPageWikiLink Monoid.
- Monad_(category_theory) wikiPageWikiLink Monoid_(category_theory).
- Monad_(category_theory) wikiPageWikiLink Monoidal_category.
- Monad_(category_theory) wikiPageWikiLink Natural_transformation.
- Monad_(category_theory) wikiPageWikiLink Opposite_category.
- Monad_(category_theory) wikiPageWikiLink Partially_ordered_set.
- Monad_(category_theory) wikiPageWikiLink Polyad.
- Monad_(category_theory) wikiPageWikiLink Power_set.
- Monad_(category_theory) wikiPageWikiLink Roger_Godement.
- Monad_(category_theory) wikiPageWikiLink Saunders_Mac_Lane.
- Monad_(category_theory) wikiPageWikiLink Singleton_(mathematics).
- Monad_(category_theory) wikiPageWikiLink Strong_monad.
- Monad_(category_theory) wikiPageWikiLink Subcategory.
- Monad_(category_theory) wikiPageWikiLink Topos.
- Monad_(category_theory) wikiPageWikiLink Union_(set_theory).
- Monad_(category_theory) wikiPageWikiLink Universal_algebra.
- Monad_(category_theory) wikiPageWikiLink Variety_(universal_algebra).
- Monad_(category_theory) wikiPageWikiLink File:Coherence_law_for_the_multiplication_of_a_monad.svg.
- Monad_(category_theory) wikiPageWikiLink File:Coherence_law_for_the_unit_of_a_monad.svg.
- Monad_(category_theory) wikiPageWikiLink File:Monad_morphism_algebra.svg.
- Monad_(category_theory) wikiPageWikiLink File:Monad_multi_algebra.svg.
- Monad_(category_theory) wikiPageWikiLink File:Monad_multiplication_explicit.svg.
- Monad_(category_theory) wikiPageWikiLink File:Monad_unit_algebra.svg.
- Monad_(category_theory) wikiPageWikiLink File:Monad_unit_explicit.svg.
- Monad_(category_theory) wikiPageWikiLinkText "Monad (category theory)".
- Monad_(category_theory) wikiPageWikiLinkText "Monad (category theory)#Algebras for a monad".
- Monad_(category_theory) wikiPageWikiLinkText "Monad (category theory)#Algebras_for_a_monad".
- Monad_(category_theory) wikiPageWikiLinkText "Monad".
- Monad_(category_theory) wikiPageWikiLinkText "Monads".
- Monad_(category_theory) wikiPageWikiLinkText "comonads".
- Monad_(category_theory) wikiPageWikiLinkText "mathematics behind monadic I/O".
- Monad_(category_theory) wikiPageWikiLinkText "monad (category theory)".
- Monad_(category_theory) wikiPageWikiLinkText "monad (category theory)#Algebras for a monad".
- Monad_(category_theory) wikiPageWikiLinkText "monad".
- Monad_(category_theory) wikiPageWikiLinkText "monadic".
- Monad_(category_theory) wikiPageWikiLinkText "monads".
- Monad_(category_theory) wikiPageUsesTemplate Template:Cite_book.
- Monad_(category_theory) wikiPageUsesTemplate Template:Distinguish.
- Monad_(category_theory) wikiPageUsesTemplate Template:For.
- Monad_(category_theory) wikiPageUsesTemplate Template:Reflist.
- Monad_(category_theory) wikiPageUsesTemplate Template:See_also.
- Monad_(category_theory) subject Category:Adjoint_functors.
- Monad_(category_theory) hypernym Endofunctor.
- Monad_(category_theory) type Functor.
- Monad_(category_theory) type Theory.
- Monad_(category_theory) type Thing.
- Monad_(category_theory) comment "In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is an endofunctor (a functor mapping a category to itself), together with two natural transformations. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories.".
- Monad_(category_theory) label "Monad (category theory)".
- Monad_(category_theory) seeAlso F-algebra.
- Monad_(category_theory) differentFrom Monad_(linear_algebra).