Category Theory


Logo of Category theory
Link to Dbpedia

What is Category theory?

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.

Technology Types

category theoryfieldfields of mathematichigher category theorymathematical structuretheory


Category theoreticCategory-theoretic


Categorietheorie (wiskunde) (nl)Kategorientheorie (de)Kategoriteori (sv)Teori kategori (in)Teoria das categorias (pt)Teoría de categorías (es)Teoria de categories (ca)Teoria delle categorie (it)Teoria kategorii (pl)Teorie kategorií (cs)Teorio de kategorioj (eo)Théorie des catégories (fr)Θεωρία κατηγοριών (el)Теория категорий (ru)Теорія категорій (uk)نظرية الأصناف (ar)범주론 (ko)圏論 (ja)范畴论 (zh)

Tech Info

Source: [object Object]
 — Date merged: 11/6/2021, 1:32:52 PM
 — Date scraped: 5/20/2021, 6:05:53 PM