Category:Category theory

• ► Morphisms‎ (3 C, 20 P)

A

• ► Additive categories‎ (9 P)

C

• ► Categorical logic‎ (1 C, 5 P)
• ► Category theorists‎ (15 P)
• ► Category-theoretic categories‎ (26 P)
• ► Closed categories‎ (6 P)

D

• ► Dagger categories‎ (6 P)

D cont.

• ► Duality theories‎ (5 C, 57 P)

F

• ► Free algebraic structures‎ (14 P)
• ► Functors‎ (2 C, 28 P)

H

• ► Higher category theory‎ (21 P)
• ► Homological algebra‎ (6 C, 95 P)

L

• ► Limits (category theory)‎ (15 P)

M

• ► Monoidal categories‎ (32 P)

O

• ► Objects (category theory)‎ (11 P)

S

• ► Sheaf theory‎ (2 C, 46 P)

T

• ► Topos theory‎ (6 P)

U

• ► Universal algebra‎ (2 C, 32 P)

Μ

• ► Category theory stubs‎ (56 P)

• Category (mathematics)
• Glossary of category theory
• Outline of category theory

(

• (∞,1)-category

*

• Category theory
• Portal:Category theory

A

• AB5 category
• Abstract elementary class
• Abstract nonsense
• Accessible category
• Algebraic stack
• Allegory (category theory)
• Anamorphism
• Auto magma object
• Steve Awodey

B

• Brown's representability theorem
• Bundle (mathematics)

C

• Catamorphism
• Categorical algebra
• Categorical quantum mechanics
• Categorical set theory
• Categories for the Working Mathematician
• Categorification
• Category of chain complexes
• Category of elements
• Centre (category)
• Chu space
• Coherence condition
• Coherence theorem
• Coimage
• Coinduction
• Cokernel
• Comma category
• Commutative diagram
• Concrete category
• Cone (category theory)
• Connected category
• Corecursion
• Cotangent complex

D

• Descent (category theory)
• Dialectica space
• Discrete category
• Distributive category
• Double groupoid
• Dual (category theory)
• Duality theory for distributive lattices

E

• Eckmann–Hilton argument

E cont.

• Element (category theory)
• Embedding
• Endomorphism ring
• Enriched category
• Equivalence of categories
• Esquisse d'un Programme
• User:Ezrakilty/Draft of Anamorphism
• User:Ezrakilty/Draft of Anamorphism as generic function
• User:Ezrakilty/Draft of Anamorphism as pattern of function definition

F

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

G

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

H

• Higher-dimensional algebra
• Hopfian object
• Hylomorphism (computer science)

I

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

K

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

L

• Lift (mathematics)
• List of types of functions
• Localization of a category

M

• Model category
• Model structure
• Monoid

M cont.

• Multicategory

N

• Nerve (category theory)

O

• Operad theory
• Opposite category

P

• Pointless topology
• Polyad
• Posetal category
• Product category
• Projective cover
• Pseudo-abelian category
• Pulation square

Q

• Quantaloid
• Quasi-category
• Quiver (mathematics)
• Quotient category

R

• R-algebroid
• Regular category

S

• Section (category theory)
• Segal category
• Segal space
• Seifert–van Kampen theorem
• Semiautomaton
• Semigroupoid
• Setoid
• Sieve (category theory)
• Simplex category
• Simplicial set
• Simplicially enriched category
• 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

• User:Quinnranicki/Sandbox
• User:Ranicki/Sandbox
• Timeline of category theory and related mathematics
• Topological category
• Tower (mathematics)

U

• Universal property

W

• Waldhausen category
• Weak factorization system