13 自由モノイド｜プログラマのための圏論 (執筆中)
)
マグマ (数学) - Wikipedia
マグマ (M, μ) とは、集合 M と、M 上での閉性（M の元 a, b のどの組み合わせについても、μ(a, b) がまた M の元であること）を満たす二項演算 μ を、組として考えたものである。二項演算 μ は、集合 M 上での閉性のほかに公理を課されない。 演算が明らかで紛れのおそれが無いときは、演算の記号を落として台集合の記号のみによってマグマ M などとも表す。しばしば二項演算 μ はマグマ M における乗法とも呼ばれ、このときの演算結果 μ(a, b) は a と b との積という[* 1]。また、誤解のおそれが無いならば積 μ(a, b) は演算記号を省略してしばしば ab と書かれる。演算記号が省略されている場合に、マグマが台集合と演算の対であることを明示するにはプレースホルダを用いて (M, ·) のように書かれる。 演算 μ が偏演算（局所演算、部分演算）ならば、(
自由モノイド - bitterharvest’s diary
４．自由モノイド 圏論では、普遍性という概念はとても大切である。普遍性は、その言葉が示すように、数学の多くの分野で共通する性質を示したものである。前の記事で説明した極限と余極限も広い分野での共通の性質であるため、圏論での重要な普遍性の一つとなっている。ここでは、普遍性のさらなる例として自由モノイドを説明する。 ４．１ 自由モノイドの定義 加算や乗算などの二項演算子を用いて計算されるものはモノイドと呼ばれる。モノイドについても普遍性を考えることができる。それは自由モノイドと呼ばれるものだ。これを説明するために、モノイドについて、まずは、集合論での定理から始めてみよう。 １）集合論での定義 集合論でのモノイドは、ある集合\(M\)に対して、 1) 二項演算子\(\mu\)が存在し、\(\mu : M \times M \rightarrow M\)である。 2) 単位律が成り立つ。即ち、単位元
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
