Category:Category theory.html

A

• + Additive categories (9 P)

C

• + Categorical logic (1 C, 5 P)
• + Category theorists (13 P)
• + Category-theoretic categories (28 P)
• + Closed categories (5 P)

D

• + Dagger categories (5 P)
• + Duality theories (4 C, 50 P)

F

• + Free algebraic structures (13 P)
• + Functors (2 C, 27 P)

H

• + Higher category theory (20 P)
• + Homological algebra (6 C, 88 P)

L

• + Limits in categories (15 P)

M

• + Monoidal categories (31 P)
• + Morphisms (2 C, 18 P)

O

• + Objects (category theory) (10 P)
• + Order theory (9 C, 122 P)

S

• + Sheaf theory (2 C, 44 P)

T

• + Topos theory (4 P)

U

• + Universal algebra (26 P)

µ

• + Category theory stubs (55 P)

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

*

• Category theory
• Portal:Category theory

A

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

B

• User:Bci2/Sandbox2
• Bundle (mathematics)

C

• C-K Theory
• Catamorphism
• Categorial grammar
• Categorical algebra
• Categorical set theory
• Categories for the Working Mathematician
• Categorification
• Category of elements
• Centre (category)
• Chu space
• Coherence theorem
• Coimage
• Cokernel
• Combinatory categorial grammar
• Comma category
• Commutative diagram
• Concrete category
• Cone (category theory)
• Connected category
• 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)
• 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)
• 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

• R-algebroid
• Regular category

S

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

• Timeline of category theory and related mathematics
• User:Ranicki/Sandbox
• User:Quinnranicki/Sandbox

U

• Universal property

W

• Waldhausen category