derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category 圏論(9)とモノイド - らんだむな記憶でモノイドに登場してもらった。 $ M $ なんてお飾りみたいなものなので、この例がほとんど arrows-only category*1 の例のように思える。 さて、このモノイドであるが、Mac Lane本での登場の仕方も面白い。モノイド $ M $ とは集合 $ M $ に2つの写像 \begin{equation} \mu: M \times M \to M, \hspace{1em} \nu: 1 \to M \end{equation}が付随していて*2、 $\mu,\ \nu$ を用いた\begin{equation} \begin{CD} … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F07%2F005556" title="圏論(23)と続・モノイド - らんだむな記憶" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-02-07 00:55:56 rich https://randommemory.hatenablog.com/entry/2016/02/07/005556 1.0 100%