Overview of and topical guide to category theory
The following outline is provided as an overview of and guide to category theory, the area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows (also called morphisms, although this term also has a specific, non category-theoretical sense), where these collections satisfy certain basic conditions. Many significant areas of mathematics can be formalised as categories, and the use of category theory allows many intricate and subtle mathematical results in these fields to be stated, and proved, in a much simpler way than without the use of categories.
Essence of category theory
- Category
- Functor
- Natural transformation
Branches of category theory
- Homological algebra
- Diagram chasing
- Topos theory
- Enriched category theory
- Higher category theory
- Categorical logic
- Applied category theory
Specific categories
Objects
Morphisms
Functors
Limits
Additive structure
Dagger categories
Monoidal categories
Cartesian closed category
Structure
Topoi, toposes
History of category theory
Persons influential in the field of category theory
Category theory scholars
See also
Mathematics portal
| |
|
---|
Key concepts | |
---|
n-categories | Weak n-categories | |
---|
Strict n-categories | |
---|
|
---|
Categorified concepts | |
---|
|
|
|
Wikipedia outlines |
---|
- Culture and the arts
- Geography and places
- Health and fitness
- History and events
- Mathematics and logic
- Natural and physical sciences
- People and self
- Philosophy and thinking
- Religion and belief systems
- Society and social sciences
- Technology and applied sciences
|