Category Theory

Logic and mathematics
trends
2021FebruaryMarchAprilMayJune0500
media
Commons category
Category theory
Wikibooks URL
Wikipedia creation date
10/31/2001
Wikipedia incoming links count
Wikipedia opening text
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms). A category has two basic properties: the ability to compose the arrows associatively, and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Informally, category theory is a general theory of functions. Several terms used in category theory, including the term "morphism", are used differently from their uses in the rest of mathematics. In category theory, morphisms obey conditions specific to category theory itself. Samuel Eilenberg and Saunders Mac Lane introduced the concepts of categories, functors, and natural transformations in 1942–45 in their study of algebraic topology, with the goal of understanding the processes that preserve mathematical structure. Category theory has practical applications in programming language theory, for example the usage of monads in functional programming. It may also be used as an axiomatic foundation for mathematics, as an alternative to set theory and other proposed foundations.
Wikipedia redirect
CategoryTheory
Category Theory
Category theoretic
Category-theoretic
Categorical point of view
Wikipedia URL
Wikiquote URL
BabelNet ID
Encyclopædia Britannica Online ID
Encyclopedia of Modern Ukraine ID
Freebase ID
GND ID
Gran Enciclopèdia Catalana ID
Great Russian Encyclopedia Online ID
JSTOR topic ID
Mathematics Subject Classification ID
OmegaWiki Defined Meaning
PSH ID
Quora topic ID
Stanford Encyclopedia of Philosophy ID