PS

Monoid as category

Monoid as category

Monoid  (S, \cdot, e) について、monoid as category*1:

  •  \mathcal{S}

を次のように定義できる:

Monoidもcategoryだった、ということ。  \mathcal{Mon} とは全然違うので注意。

参考文献

*1:固有名詞があるのか分からず

*2:元は  S の一個だけ