Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03408627n
Noun Concept
Categories: Higher category theory, All articles with unsourced statements, Foundations of mathematics, Category theory, Articles with short description
EN
category theory  Categorical point of view  category-theoretic  category theoretic  CategoryTheory
EN
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Wikipedia
Definitions
Relations
Sources
EN
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Wikipedia
Branch of mathematics studying categories, functors, and natural transformations Wikidata
A theory that deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms. OmegaWiki
HAS PART
span
functor
image
DE
Durchschnitt
PART OF
mathematics
higher category theory
HAS KIND
categorical logic
catamorphism
cartesian closed category
category of sets
strict 2-category
+5 relations
HAS INSTANCE
product
DESCRIBED BY SOURCE
Armenian Soviet Encyclopedia
STUDIES
functor
natural transformation
category
USE
programming language theory
WIKIMEDIA OUTLINE
Outline of category theory
Wikipedia
EN
category theory
Wikidata
EN
category theory
OmegaWiki
EN
category theory
Wikipedia Redirections
EN
Categorical point of view, category-theoretic, category theoretic, Category Theory, CategoryTheory, Object of a category

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License