Categories have three axioms: unit, composition, and associativity. Associativity is handled because the target of the functor is a category, but the other two ...
確定! 回上一頁