A collection of objects and morphisms (arrows) between them, with associative composition and identity arrows. Examples: Set, Grp, Top, Vec_k, the poset (ℕ, ≤).
A collection of objects and morphisms (arrows) between them, with associative composition and identity arrows. Examples: Set, Grp, Top, Vec_k, the poset (ℕ, ≤).