hiratara https://blog.hatena.ne.jp/hiratara/ Pixel Pedals of Tomakomai https://hiratara.hatenadiary.jp/ 数学 技術 圏論勉強会ではないモノイド勉・・・いや、圏論勉強会 第2回に来ました。資料とustreamは公開されています。 第2回: モノイド・群 / 講師 @9_ties さん モノイド、圏は計算機に必要な概念 対象が1つの圏。シンプルだけどシンプル過ぎない圏 約束: 自然数は0以上。Haskell的なセクションの記法を使う モノイド: (M, ・)の組。結合率、単位元 M は台集合 モノイドの例 自然数(N, +), (N, ×) 整数、有理数、実数、複素数も同様 Aの要素の有限列と、++ ([1,2] ++ [3, 4]) ++ [5,6] == [1,2] ++ ([3,4]++[5,6]) []… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhiratara.hatenadiary.jp%2Fentry%2F20130523%2F1368701831" title="今日は 圏論勉強会 第2回 の日です - Pixel Pedals of Tomakomai" 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 2013-05-23 19:57:11 rich https://hiratara.hatenadiary.jp/entry/20130523/1368701831 1.0 100%