Category:Category theory

Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.

Subcategories

There are 5 subcategories to this category.

A

• Algebra

C

• Categorical logic

H

• Homological algebra

S

• Sheaf theory

U

• Universal algebra

Articles in category "Category theory"

There are 108 articles in this category.

Abelian category Abstract nonsense Additive category Adjoint functors Algebraic stack Auto magma object Automorphism Axiomatizable class B Background and genesis of topos theory Bicategory Biproduct Braided monoidal category C Cartesian closed category Cartesian morphism Categorical logic Categorification Category (category theory) Category of abelian groups Category of graded vector spaces Category of groups Category of metric spaces Category of preordered sets Category of sets Category of topological spaces Category of vector spaces Category theory Class (set theory) Closed category Closed monoidal category Coequalizer Cokernel Comma category Commutative diagram Concrete category Connected (category theory) Connected category

C cont. Coproduct D Derived functor Descent (category theory) Direct limit Discrete category Dual (category theory) E Eckmann-Hilton argument Endomorphism Endomorphism ring Enriched category Enriched functor Epimorphism Equaliser Equivalence of categories Exact functor F Faithful functor Fibration Forgetful functor Free object Full functor Functor Functor category G Gluing axiom Graded category Grothendieck topology Grothendieck universe Group object Groupoid I Image (category theory) Initial object Injective cogenerator Inverse limit Isomorphism Isomorphism of categories K Karoubi envelope Kernel (category theory) L Limit (category theory)

L cont. List of category theory topics Localization of a category M Magma category Medial category Mitchell's embedding theorem Monad (category theory) Monads in functional programming Monoid Monoidal category Monomorphism Morphism N Natural number object Natural transformation Normal morphism P Pierre Cartier Pointed space Pointless topology Pre-Abelian category Preadditive category Product (category theory) Pullback (category theory) Pushout (category theory) R Representable functor S Samuel Eilenberg Sheaf Simplicial category Small set Stack (category theory) Structure (category theory) Subcategory Subobject Subobject classifier U Universal property Y Yoneda lemma Z Zero morphism