Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Category_theory> ?p ?o }
- Category_theory abstract "Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms). A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. Category theory can be used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Several terms used in category theory, including the term "morphism", are used differently from their uses in the rest of mathematics. In category theory, a "morphism" obeys a set of conditions specific to category theory itself. Thus, care must be taken to understand the context in which statements are made.".
- Category_theory thumbnail Commutative_diagram_for_morphism.svg?width=300.
- Category_theory wikiPageExternalLink books?id=AwLc-12-7LMC.
- Category_theory wikiPageExternalLink books?id=IK_sIDI2TCwC.
- Category_theory wikiPageExternalLink books?id=K-SjOw_2gXwC.
- Category_theory wikiPageExternalLink books?id=ezdeaHfpYPwC.
- Category_theory wikiPageExternalLink books?id=fCSJRegkKdoC.
- Category_theory wikiPageExternalLink books?id=h0zOGPlFmcQC.
- Category_theory wikiPageExternalLink books?id=h3_7aZz9ZMoC.
- Category_theory wikiPageExternalLink books?id=iSCqyNgzamcC.
- Category_theory wikiPageExternalLink books?id=qNXuAAAAMAAJ.
- Category_theory wikiPageExternalLink acc.htm.
- Category_theory wikiPageExternalLink acc.pdf.
- Category_theory wikiPageExternalLink week73.html.
- Category_theory wikiPageExternalLink CatTheory.pdf.
- Category_theory wikiPageExternalLink categories.pdf.
- Category_theory wikiPageExternalLink book.html.
- Category_theory wikiPageExternalLink tr12abs.html.
- Category_theory wikiPageExternalLink tr22abs.html.
- Category_theory wikiPageExternalLink events.
- Category_theory wikiPageExternalLink index.html.
- Category_theory wikiPageExternalLink nlab.
- Category_theory wikiPageExternalLink wildcatsformma.wordpress.com.
- Category_theory wikiPageExternalLink webcats.php.
- Category_theory wikiPageExternalLink categories.
- Category_theory wikiPageExternalLink ~cat-dist.
- Category_theory wikiPageExternalLink tac.
- Category_theory wikiPageID "5869".
- Category_theory wikiPageLength "34479".
- Category_theory wikiPageOutDegree "146".
- Category_theory wikiPageRevisionID "674351248".
- Category_theory wikiPageWikiLink 2-category.
- Category_theory wikiPageWikiLink Abstract_algebra.
- Category_theory wikiPageWikiLink Abstract_nonsense.
- Category_theory wikiPageWikiLink Abstraction.
- Category_theory wikiPageWikiLink Abstractions.
- Category_theory wikiPageWikiLink Adjoint_functors.
- Category_theory wikiPageWikiLink Algebraic_geometry.
- Category_theory wikiPageWikiLink Algebraic_topology.
- Category_theory wikiPageWikiLink Allegory_(category_theory).
- Category_theory wikiPageWikiLink André_Joyal.
- Category_theory wikiPageWikiLink Associative_property.
- Category_theory wikiPageWikiLink Associativity.
- Category_theory wikiPageWikiLink Automorphism.
- Category_theory wikiPageWikiLink Axiom.
- Category_theory wikiPageWikiLink Axiomatic_set_theory.
- Category_theory wikiPageWikiLink Bicategory.
- Category_theory wikiPageWikiLink Binary_operation.
- Category_theory wikiPageWikiLink Cambridge_University_Press.
- Category_theory wikiPageWikiLink Cartesian_closed_category.
- Category_theory wikiPageWikiLink Categorical_logic.
- Category_theory wikiPageWikiLink Categories_for_the_Working_Mathematician.
- Category_theory wikiPageWikiLink Category:Category_theory.
- Category_theory wikiPageWikiLink Category:Higher_category_theory.
- Category_theory wikiPageWikiLink Category_(mathematics).
- Category_theory wikiPageWikiLink Category_of_sets.
- Category_theory wikiPageWikiLink Class_(set_theory).
- Category_theory wikiPageWikiLink Commutative_diagram.
- Category_theory wikiPageWikiLink Constructivism_(mathematics).
- Category_theory wikiPageWikiLink Continuous_function.
- Category_theory wikiPageWikiLink Continuous_function_(topology).
- Category_theory wikiPageWikiLink Data_type.
- Category_theory wikiPageWikiLink Diagram_chasing.
- Category_theory wikiPageWikiLink Domain_theory.
- Category_theory wikiPageWikiLink Dual_(category_theory).
- Category_theory wikiPageWikiLink Emmy_Noether.
- Category_theory wikiPageWikiLink Empty_set.
- Category_theory wikiPageWikiLink Endomorphism.
- Category_theory wikiPageWikiLink Enriched_category.
- Category_theory wikiPageWikiLink Epimorphism.
- Category_theory wikiPageWikiLink Equivalence_of_categories.
- Category_theory wikiPageWikiLink Feynman_diagram.
- Category_theory wikiPageWikiLink Feynman_diagrams.
- Category_theory wikiPageWikiLink Finitary_relation.
- Category_theory wikiPageWikiLink Function_(mathematics).
- Category_theory wikiPageWikiLink Function_composition.
- Category_theory wikiPageWikiLink Functional_programming.
- Category_theory wikiPageWikiLink Functor.
- Category_theory wikiPageWikiLink Functor_category.
- Category_theory wikiPageWikiLink Fundamental_group.
- Category_theory wikiPageWikiLink Fundamental_groupoid.
- Category_theory wikiPageWikiLink General_covariance.
- Category_theory wikiPageWikiLink Glossary_of_category_theory.
- Category_theory wikiPageWikiLink Group_(mathematics).
- Category_theory wikiPageWikiLink Group_homomorphism.
- Category_theory wikiPageWikiLink Group_theory.
- Category_theory wikiPageWikiLink Groupoid.
- Category_theory wikiPageWikiLink Guerino_Mazzola.
- Category_theory wikiPageWikiLink Higher-dimensional_algebra.
- Category_theory wikiPageWikiLink Higher-order_logic.
- Category_theory wikiPageWikiLink Higher_category_theory.
- Category_theory wikiPageWikiLink Homological_algebra.
- Category_theory wikiPageWikiLink Homology_(mathematics).
- Category_theory wikiPageWikiLink Homology_theory.
- Category_theory wikiPageWikiLink Identity_(mathematics).
- Category_theory wikiPageWikiLink Identity_element.
- Category_theory wikiPageWikiLink Identity_function.
- Category_theory wikiPageWikiLink Identity_morphism.
- Category_theory wikiPageWikiLink Intuitionistic_logic.
- Category_theory wikiPageWikiLink Isomorphism.