The category of (multiplicative) monoids. A monoid is a unital semigroup , that is a set endowed with a multiplicative binary operation ∗ which is associative ...
確定! 回上一頁