Difference between revisions of "Category theory"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) |
Karl Jones (Talk | contribs) (→See also) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 14: | Line 14: | ||
* [[Abstract algebra]] | * [[Abstract algebra]] | ||
| + | * [[Domain theory]] | ||
| + | * [[Enriched category theory]] | ||
| + | * [[Equational logic]] | ||
| + | * [[Glossary of category theory]] | ||
| + | * [[Group theory]] | ||
| + | * [[Higher category theory]] | ||
| + | * [[Higher-dimensional algebra]] | ||
| + | * [[Important publications in category theory]] | ||
| + | * [[Lambda calculus]] | ||
| + | * [[Mathematical structure]] | ||
* [[Mathematics]] | * [[Mathematics]] | ||
| + | * [[Outline of category theory]] | ||
| + | * [[Timeline of category theory and related mathematics]] | ||
== External links == | == External links == | ||
Latest revision as of 10:56, 9 September 2016
Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms).
Description
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, morphisms obey conditions specific to category theory itself.
See also
- Abstract algebra
- Domain theory
- Enriched category theory
- Equational logic
- Glossary of category theory
- Group theory
- Higher category theory
- Higher-dimensional algebra
- Important publications in category theory
- Lambda calculus
- Mathematical structure
- Mathematics
- Outline of category theory
- Timeline of category theory and related mathematics
External links
- Category theory @ Wikipedia
