Category:Definitions/Category Theory
Jump to navigation
Jump to search
This category contains definitions related to Category Theory.
Related results can be found in Category:Category Theory.
Category theory is the branch of abstract algebra which studies categories.
It can be described as the theory of functors.
Subcategories
This category has the following 18 subcategories, out of 18 total.
A
C
- Definitions/Chain Complexes (2 P)
D
E
F
G
- Definitions/Groupoids (3 P)
I
L
M
N
P
- Definitions/Pullbacks (3 P)
S
- Definitions/Sheaves (4 P)
- Definitions/Stacks (5 P)
Pages in category "Definitions/Category Theory"
The following 159 pages are in this category, out of 159 total.
A
C
- Definition:Cartesian Closed Category
- Definition:Category
- Definition:Category Theory
- Definition:Category Theory/Also known as
- Definition:Category with Binary Products
- Definition:Category with Exponentials
- Definition:Category with Finite Products
- Definition:Category with Products
- Definition:Category with Products/Binary
- Definition:Category with Products/Finite
- Definition:Chain Complex
- Definition:Cocone
- Definition:Codomain of Morphism
- Definition:Coequalizer
- Definition:Coimage (Category Theory)
- Definition:Colimit
- Definition:Commutative Diagram
- Definition:Commutative Square
- Definition:Complete Category
- Definition:Composable Morphisms
- Definition:Composite Morphism
- Definition:Composition of Morphisms
- Definition:Concrete Category
- Definition:Concrete Category/Definition 1
- Definition:Concrete Category/Definition 2
- Definition:Cone (Category Theory)
- Definition:Constant (Category Theory)
- Definition:Constant Presheaf
- Definition:Coproduct
- Definition:Coterminal Object
D
E
- Definition:Enough Constants
- Definition:Enough Injectives
- Definition:Enough Projectives
- Definition:Epi-Mono Factorization
- Definition:Equalizer
- Definition:Equivalence of Categories
- Definition:Equivalence of Categories/Equivalent Categories
- Definition:Equivalent Categories
- Definition:Evaluation Morphism
- Definition:Exact Chain Complex
- Definition:Exactness of Chain Complex at Object
- Definition:Exponential (Category Theory)
- Definition:Exponential (Category Theory)/Evaluation
- Definition:Exponential (Category Theory)/Transpose
- Definition:Exponential Transpose
F
H
I
- Definition:Identity Morphism
- Definition:Image (Category Theory)
- Definition:Initial Object
- Definition:Injective on Morphisms
- Definition:Injective on Objects
- Definition:Inverse Morphism
- Definition:Isomorphic Categories
- Definition:Isomorphic Objects (Category Theory)
- Definition:Isomorphism of Categories
- Definition:Isomorphism of Categories/Isomorphic Categories
K
L
- Definition:Language of Category Theory
- Definition:Large Category
- Definition:Limit (Category Theory)
- Definition:Limit (Category Theory)/Finite Limit
- Definition:Limit of Sets (Category Theory)
- Definition:Limit of Topological Spaces
- Definition:Limit Topology
- Definition:Local Membership Relation
- Definition:Locally Small Category
M
N
O
P
- Definition:Path (Category Theory)
- Definition:Pointed Category
- Definition:Pre-Abelian Category
- Definition:Preadditive Category
- Definition:Product (Category Theory)
- Definition:Product (Category Theory)/Binary Product
- Definition:Product (Category Theory)/General Definition
- Definition:Product (Category Theory)/General Definition/Finite Product
- Definition:Product Category
- Definition:Product of Morphisms
- Definition:Projection (Category Theory)
- Definition:Projective Object
- Definition:Property of Morphisms
- Definition:Property of Morphisms Stable Under Pullback
- Definition:Pullback (Category Theory)
S
- Definition:Small Category
- Definition:Source (Category Theory)
- Definition:Split Epimorphism
- Definition:Split Monomorphism
- Definition:Stack
- Definition:Subcategory
- Definition:Subcategory/Definition 1
- Definition:Subcategory/Definition 2
- Definition:Subcategory/Definition 3
- Definition:Subobject
- Definition:Surjective on Morphisms
- Definition:Surjective on Objects