Example 3.1.5 (Monoid category). A category K is a monoid if K has exactly one object. A set X togetherwithafunction ; :X ×X → X and a distinguished ...
確定! 回上一頁