Concept information
Preferred term
category theory
Definition
-
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. Category theory is used in almost all areas of mathematics. In particular, numerous constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Category_theory)
Narrower concepts
- abstract nonsense
- additive category
- Cartesian closed category
- category of sets
- category with involution
- concrete category
- cotangent complex
- derivator
- derived category
- diagram
- F-coalgebra
- function space
- functor
- graph of groups
- Grothendieck group
- groupoid
- higher category theory
- H-object
- Hopf algebra
- Kan extension
- localization of a category
- monoidal category
- morphism
- Ore condition
- quiver
- Yoneda lemma
In other languages
-
French
URI
http://data.loterre.fr/ark:/67375/PSR-J9ZL1KM4-H
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}