第6章:状態遷移と変換モノイド ― 「動詞」としての代数

6.1 写像の合成という根源的モノイド

これまで我々は、モノイドの要素を「数」や「文字」といった「名詞」的なものとして捉えてきた。しかし、モノイドの真の威力は、要素を「操作」や「変化」という**「動詞」**として捉えたときに発揮される。

集合 があるとき、 から へのすべての関数(写像)の集合 を考える。この集合において、二つの関数 の「合成」を演算と見なすと、これは完璧なモノイドを形成する。

  • 結合法則: は、関数の適用順序さえ守れば、どの段階で処理をまとめても結果が同じであることを保証する。
  • 単位元: 「何もしない」という恒等写像

これを**変換モノイド(Transformation Monoid)**と呼ぶ。圏論的な抽象化を待たずとも、我々は「変化を積み重ねる」という日常的な行為の中にモノイドを見出すことができる。

6.2 状態マシンの解剖学

自動販売機や信号機、あるいは複雑なWebアプリケーションのユーザーインターフェースは、すべて「状態」を持っている。 ある状態にある入力を与えると、次の状態へ遷移する。この「入力」の一つ一つは、状態集合 自身へと移す写像である。 複数の入力を連続して与えることは、変換モノイドにおける要素の合成に他ならない。

プログラミングにおける CommandパターンReduxのReducer は、この変換モノイドを具現化したものである。ユーザーが行うすべての操作(クリック、入力、削除)はモノイドの要素であり、それらを合成した一つの「巨大な操作」を初期状態に適用することで、現在の画面が構築される。非圏論的な視点で見れば、アプリケーションの歴史とは、一つのモノイド要素の長い合成の鎖なのである。


第7章:時間の不可逆性と半群・モノイド ― なぜ「群」ではないのか

7.1 逆元の不在というリアリズム

数学において「群(Group)」は、すべての要素に逆元(元に戻す操作)が存在する非常に美しい構造である。しかし、我々の生きる現実は、群よりもモノイドに近い。 卵を割る、紙を燃やす、時間は進む。これらの行為には、それを完全に打ち消して元通りにする「逆元」が存在しない。

モノイドにおいて逆元の存在を強制しない(あるいは持たないことを許容する)という性質は、現実世界の**不可逆性(Irreversibility)**を記述するために必須の条件である。熱力学第二法則、すなわちエントロピーの増大は、宇宙が「逆元のないモノイド」として進行していることを示唆している。

7.2 時間の加法モノイド

時間を数として捉えるとき、我々は通常、非負の実数の集合 を用いる。 「3時間」の後に「5時間」が経過すれば、それは「8時間」である(加法演算)。単位元は「0時間(瞬時)」である。 ここで、負の時間(-5時間)という要素は、物理的な時間発展のモノイドには含まれない。 時間の経過をモノイドとして定義することは、過去から未来への一方通行性を論理的に肯定することである。非圏論的な定義は、こうした「要素の性質(負の数がないこと)」を直接扱うことができるため、現象の本質を捉えやすい。


第8章:リソースと計量の論理 ― 蓄積の代数学

8.1 資源の合成

経済学や物流におけるリソース管理もまた、モノイド的な構造に基づいている。 倉庫にある在庫、銀行の残高、ネットワークの帯域幅。これらはすべて「合わせる(加算)」ことができ、「何もない(ゼロ)」状態を基準とする。 重要なのは、ここでも「結合法則」が機能していることだ。A倉庫とB倉庫の合計を出し、そこにC倉庫の分を足すのと、先にBとCを合わせてからAを足すのとで、総計が変わっては困る。モノイドの結合法則は、計量における客観性の担保となっている。

8.2 べき等モノイドと情報

特殊なモノイドとして、**べき等モノイド(Idempotent Monoid)**がある。これは という性質を持つ。 例えば、集合の「和集合(Union)」演算や、数値の「最大値(Max)」を取る演算がこれに当たる。

情報の配布において、同じ情報を二度受け取っても結果が変わらない(べき等性)という性質は、通信プロトコルの設計において極めて重要である。一度送ったパケットが届いたかどうか不明なとき、とりあえずもう一度送る(リトライ)。受け手側が「Maxモノイド」や「和集合モノイド」として情報を処理していれば、重複による混乱は起きない。モノイドは、不確実な通信路における安定性の礎なのである。