Category:Category theory.html

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)

O

• + Objects (category theory) (0)
• + Order theory (8)

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
• Auto magma object
• Automorphism

B

• Bundle (mathematics)

C

• Catamorphism
• Categorical algebra
• 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

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

E

• Eckmann–Hilton argument

E cont.

• Element (category theory)
• Embedding
• Endomorphism
• Endomorphism ring
• Enriched category
• Epimorphism
• Equivalence of categories

F

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

G

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

H

• 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

L

• Lift (mathematics)
• List of category theory topics

L cont.

• Localization of a category

M

• Model category
• Model structure
• Monoid
• Monomorphism
• Morphism
• Multicategory

N

• Nerve (category theory)
• Normal morphism

O

• Operad theory

P

• Pointless topology
• Projective cover
• Pulation square

Q

• Quantaloid
• Quotient category

R

• Regular category

S

• Section (category theory)
• Semiautomaton
• Setoid
• Sieve (category theory)
• Simplicial category
• Simplicial set
• Size functor
• Skeleton (category theory)
• Small set (category theory)
• Stack (descent theory)
• Structure (category theory)
• Subcategory
• Subdivided interval categories
• Subquotient

U

• Universal property

W

• Waldhausen category

Y

• Yoneda lemma

Z

• Zero morphism