Basic Category Theory
《Basic Category Theory》 · 第 10 页 · Definition 1.1.1
A category \(\mathcal A\) consists of a collection \(\operatorname{ob}(\mathcal A)\) of objects, collections \(\mathcal A(A,B)\) of maps, composition functions, and identity maps, satisfying the associativity and identity laws.