A collection of objects and morphisms (arrows) between them, with associative composition and identity arrows. Examples: Set, Grp, Top, Vec_k, the poset (ℕ, ≤).
Category
Related concepts
- Morphism (arrow) f: A → B
- Object
- Functor F: C → D
- Axiom of extensionality
- Topos
- Model category
- ∞-category (quasi-category)
- Grothendieck construction
- Model categories (Quillen)
- Martin-Löf type theory
- Calculus of constructions (CoC)
- Homotopy type theory + univalence (Voevodsky)
- Free algebra (universal property, UA)
- Birkhoff HSP theorem (1935)
- Wightman axioms