2017-09-22から1日間の記事一覧
13.モノイド モノイド圏は、集合の要素を射に、二項演算子を射の合成に、そして、単位元を恒等射にし、結合律、単位律が成り立っているものをいう。例えば、整数の乗算の場合には、 1) 対象:シングルトン(通常星印で表される) 2) 射:整数 3) ドメイン、…
13.モノイド モノイド圏は、集合の要素を射に、二項演算子を射の合成に、そして、単位元を恒等射にし、結合律、単位律が成り立っているものをいう。例えば、整数の乗算の場合には、 1) 対象:シングルトン(通常星印で表される) 2) 射:整数 3) ドメイン、…