Outline of category theory
From Wikipedia, the free encyclopedia
The following outline is provided as an overview of and guide to category theory:
Category theory – 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.
Contents
- 1 Essence of category theory
- 2 Branches of category theory
- 3 Specific categories
- 4 Objects
- 5 Morphisms
- 6 Functors
- 7 Limits
- 8 Additive structure
- 9 Dagger categories
- 10 Monoidal categories
- 11 Cartesian closed category
- 12 Structure
- 13 Topoi, toposes
- 14 History of category theory
- 15 Persons influential in the field of category theory
- 16 See also
- 17 References
- 18 External links
Essence of category theory[edit]
Branches of category theory[edit]
- Homological algebra –
- Diagram chasing –
- Topos theory –
- Enriched category theory –
Specific categories[edit]
- Category of chain complexes –
- Category of finite dimensional Hilbert spaces –
- Category of sets and relations –
- Category of topological spaces –
- Category of metric spaces –
- Category of preordered sets –
- Category of groups –
- Category of abelian groups –
- Category of rings –
- Category of magmas –
- Category of medial magmas –
Objects[edit]
- Initial object –
- Terminal object –
- Zero object –
- Subobject –
- Group object –
- Magma object –
- Natural number object –
- Exponential object –
Morphisms[edit]
Morphism –
- Epimorphism –
- Monomorphism –
- Zero morphism –
- Normal morphism –
- Dual (category theory) –
- Groupoid –
- Image (category theory) –
- Coimage –
- Commutative diagram –
- Cartesian morphism –
- Slice category –
Functors[edit]
- Isomorphism of categories –
- Natural transformation –
- Equivalence of categories –
- Subcategory –
- Faithful functor –
- Full functor –
- Forgetful functor –
- Yoneda lemma –
- Representable functor –
- Functor category –
- Adjoint functors –
- Monad (category theory) –
- Comonad –
- Combinatorial species –
- Exact functor –
- Derived functor –
- Enriched functor –
- Kan extension of a functor –
- Hom functor –
Limits[edit]
- Limit –
- Colimit –
Additive structure[edit]
Dagger categories[edit]
Monoidal categories[edit]
Cartesian closed category[edit]
Structure[edit]
Topoi, toposes[edit]
- Sheaf –
- Gluing axiom –
- Descent (category theory) –
- Grothendieck topology –
- Introduction to topos theory –
- Subobject classifier –
- Pointless topology –
- Heyting algebra –
History of category theory[edit]
Persons influential in the field of category theory[edit]
Category theory scholars[edit]
See also[edit]
References[edit]
External links[edit]
- nLab, a wiki project on mathematics, physics and philosophy with emphasis on the n-categorical point of view
- André Joyal, CatLab, a wiki project dedicated to the exposition of categorical mathematics
- Hillman, Chris. "A Categorical Primer". CiteSeerX: 10
.1 .1 .24 .3264: formal introduction to category theory. - J. Adamek, H. Herrlich, G. Stecker, Abstract and Concrete Categories-The Joy of Cats
- Stanford Encyclopedia of Philosophy: "Category Theory"—by Jean-Pierre Marquis. Extensive bibliography.
- List of academic conferences on category theory
- Baez, John, 1996,"The Tale of n-categories." An informal introduction to higher order categories.
- WildCats is a category theory package for Mathematica. Manipulation and visualization of objects, morphisms, categories, functors, natural transformations, universal properties.
- The catsters, a YouTube channel about category theory.
- Category Theory at PlanetMath.org.
- Video archive of recorded talks relevant to categories, logic and the foundations of physics.
- Interactive Web page which generates examples of categorical constructions in the category of finite sets.
| Definitions from Wiktionary | |
| Media from Commons | |
| News stories from Wikinews | |
| Quotations from Wikiquote | |
| Source texts from Wikisource | |
| Textbooks from Wikibooks | |
| Learning resources from Wikiversity | |
|
|
||||||