Category:Category theory

A

• [+] Additive categories (0)

C

• [+] Categorical logic (1)
• [+] Category theorists (0)
• [+] Category-theoretic categories (0)
• [+] Closed categories (0)

D

• [+] Dagger categories (0)

D cont.

• [+] Duality theories (3)

F

• [+] Free algebraic structures (0)
• [+] Functors (1)

H

• [+] Higher category theory (0)
• [+] Homological algebra (6)

L

• [+] Limits in categories (0)

M

• [+] Monoidal categories (0)

M cont.

• [+] Morphisms (2)

O

• [+] Objects (category theory) (0)
• [+] Order theory (9)

S

• [+] Sheaf theory (2)

T

• [+] Topos theory (0)

U

• [+] Universal algebra (0)

µ

• [+] Category theory stubs (0)

• Category (mathematics)
• Glossary of category theory

*

• Category theory
• Portal:Category theory

A

• Abstract nonsense
• Algebraic stack
• Allegory (category theory)
• Anamorphism
• Antiset
• Auto magma object

B

• Bundle (mathematics)

C

• Catamorphism
• Categorical algebra
• Categorical set theory
• Categories for the Working Mathematician
• Categorification
• Category of elements
• Centre (category)
• Chu space
• Coimage
• Cokernel
• Comma category
• Commutative diagram
• Concrete category
• Cone (category theory)
• Connected category
• Cotangent complex

D

• Descent (category theory)
• Dialectica space
• Discrete category
• Distributive category
• Dual (category theory)

E

• Eckmann–Hilton argument
• Element (category theory)
• Embedding

E cont.

• Endomorphism ring
• Enriched category
• Equivalence of categories
• Esquisse d'un Programme

F

• F-algebra
• F-coalgebra
• Factorization system
• Fibration
• Fibred category
• Filtered category

G

• Generator (category theory)
• Graded category
• Grothendieck construction
• Grothendieck universe
• Grothendieck's Galois theory
• Grothendieck's relative point of view
• Groupoid

H

• Higher-dimensional algebra
• Hylomorphism (computer science)

I

• Image (category theory)
• Induced homomorphism
• Information geometry
• Initial algebra
• Injective cogenerator
• Injective object
• Isomorphism
• Isomorphism-closed subcategory

K

• Kan extension
• Karoubi envelope
• Kernel (category theory)
• Krohn–Rhodes theory
• Krull–Schmidt category

L

• Lift (mathematics)
• List of category theory topics
• Localization of a category

M

• Model category

M cont.

• Model structure
• Monoid
• Morphism
• Multicategory

N

• Nerve (category theory)

O

• Operad theory
• Opposite category

P

• Pointless topology
• Projective cover
• Pseudo-abelian category
• Pulation square

Q

• Quantaloid
• Quiver (mathematics)
• Quotient category

R

• Regular category

S

• Section (category theory)
• Seifert–van Kampen theorem
• Semiautomaton
• Setoid
• Sieve (category theory)
• Simplicial category
• Simplicial set
• Size functor
• Skeleton (category theory)
• Sketch (mathematics)
• Small set (category theory)
• Stable module category
• Stack (descent theory)
• Structure (category theory)
• Subcategory
• Subdivided interval categories
• Subquotient

T

• Timeline of category theory and related mathematics

U

• Universal property

W

• Waldhausen category

Y

• Yoneda lemma