Pages that link to "Glossary of category theory"
Appearance
Showing 50 items.
- Category theory (links | edit)
- Functor (links | edit)
- Inverse limit (links | edit)
- Set (mathematics) (links | edit)
- Category of sets (links | edit)
- Universal property (links | edit)
- Yoneda lemma (links | edit)
- Limit (category theory) (links | edit)
- Natural transformation (links | edit)
- Abelian category (links | edit)
- Natural deduction (links | edit)
- Category (mathematics) (links | edit)
- Adjoint functors (links | edit)
- Initial and terminal objects (links | edit)
- Preadditive category (links | edit)
- Additive category (links | edit)
- Pre-abelian category (links | edit)
- Commutative diagram (links | edit)
- Enriched category (links | edit)
- Foundations of mathematics (links | edit)
- Direct limit (links | edit)
- Cartesian closed category (links | edit)
- Product (category theory) (links | edit)
- Cokernel (links | edit)
- Equaliser (mathematics) (links | edit)
- Dual (category theory) (links | edit)
- Coproduct (links | edit)
- Subcategory (links | edit)
- Monoidal category (links | edit)
- Intuitionistic type theory (links | edit)
- Outline of category theory (links | edit)
- Opposite category (links | edit)
- Formal system (links | edit)
- Functor category (links | edit)
- Coequalizer (links | edit)
- Bicategory (links | edit)
- Pushout (category theory) (links | edit)
- Comma category (links | edit)
- Pullback (category theory) (links | edit)
- Natural numbers object (links | edit)
- Simplicial set (links | edit)
- Simplex category (links | edit)
- Closed category (links | edit)
- Categorification (links | edit)
- Skeleton (category theory) (links | edit)
- Dependent type (links | edit)
- Category of small categories (links | edit)
- Fibred category (links | edit)
- Exponential object (links | edit)
- Kan extension (links | edit)