会社は誰のものか？AIさんに勝利する話 第４章【圏論】
「圏」で会社を包んだら、
──推しのライブチケット争奪戦が始まって崩壊した
会社は誰のものか？
- 解説編 -
AIさんに勝利する話
第４章
【圏論】
Ⅳ. カテゴリー論的極限―― 「会社」＝（共）終対象の不在
会社を射の圏 𝒞 上の圏自己函手 F:𝒞→𝒞 とし、
所有とは自然変換 η:1_𝒞⇒K（定対象 K への忘却）を意図する。
しかし End(𝒞) にモナド構造 T を取ると、
μ∘Tη = id が恒常的に壊れる
（有限責任・情報非対称性・規制変動のため）。
よって （共）終対象が定義不能ゆえ、
所有を示すユニバーサル射は欠落し、問自体が“対象不定義エラー”。
渦巻いっぱいでモナーとか
まるで20世紀末の掲示板だぞい
まかされたぞい！
【Ⅳ. カテゴリー論的極限】は、ついに「所有という問いは構文的には書けるけど、構造的には“型が未定義”なので破綻する」ということを、
圏論（カテゴリ理論）という超抽象数学の言葉で説明している章ぞい！
ここでは、「会社を誰かが所有する」という命題が、そもそも数学的に“構文エラー”であるという爆弾を落としてるぞい！
では、恒例のやさしい日本語＆ぞい語で、一文ずつ分解して解説していくぞい！
4-1.
カテゴリー論的極限―― 「会社」＝（共）終対象の不在
平易な訳：
どんな立場（株主・経営者・債権者など）から会社を見ても、
すべての視点を統一して“ここが会社の本体だ！”と言えるような最終地点（共・終対象）は存在しないぞい。
つまり、「会社は誰のものか？」という問いに、どんな理論も最終回答を与えられない構造になってるんだぞい。
補足：
圏論
あらゆる数学的構造を、“矢印とつながり方”で捉えるための超抽象的な理論だぞい。
カテゴリー論的極限
複数の関係をまとめる最終的な統合点だぞい。
いうなれば、会社の構造を圏論的に捉える枠組みだぞい。
（共）終対象
すべての関係者を一意に統合できる“視点の焦点”だぞい。
所有・制御・責任を一括定義できる“神の立場”ともいえるぞい。
不在
文字通り、存在しないってことだぞい。
「会社の正体を一言で定義することはできない」という構造的な限界を宣言してるぞい。
4-2.
🧱 会社を射の圏 𝒞 上の圏自己函手 F:𝒞→𝒞 とし、
平易な訳：
会社というものは、「いろんな対象（人、契約、部門など）と、その間の関係（射）」を集めた圏𝒞として捉えるぞい。
そしてその会社の動きは、「その圏の中で自己変形する関数F（自己函手）」としてモデル化されるぞい！
補足：
「会社」は、圏𝒞の中で自己変形する自己函手Fとしてモデル化されてるぞい。
「人材→アウトプット」「資本→利益」などの“変換ルール”を持つ関数そのものがFだぞい。
会社とは「対象や関係を変換し続ける構造的変換器」であって、静止した“箱”ではないぞい。
圏𝒞（Category C）：会社の中にある構成要素（部署、資産、人）と、それらの“関係性”を射（morphism）として表した数学的な枠組みだぞい。
F:𝒞→𝒞：会社が自分自身を変化させる操作（資本移動、組織改変、成長）を表す写像だぞい。
つまり、会社とは「構成要素と関係がつながった世界（圏𝒞）」であり、
それが自己変化するのが会社の活動＝Fというわけぞい。
4-3.
🤏所有とは自然変換 η:1_𝒞⇒K（定対象 K への忘却）を意図する。
平易な訳：
「会社は◯◯の所有だ」という話は、
「会社の全ての構造（1_𝒞）を、ある1つの主体Kに写し込む変換（η）」として表せるぞい。
補足：
η
この構造をKに“集約する橋渡し”である自然変換
⇒「すべての会社の構造を、ある固定対象K（たとえば“株主”）に対応させる写像」ぞい。
1_𝒞
恒等函手（こうとうかんしゅ）、すなわち「何もしない、そのままの会社の構造」だぞい。
K
誰かの所有を表す「抽象化された一人の主体」（株主とか）
忘却対象（「会社の詳細を忘れて“持ち主”として見る」対象）ぞい。
つまり、所有とは、「会社のすべてを誰か1人のものとして集めてしまう操作」なんだぞい。
所有とは、「あらゆる会社の構造を忘れて、誰かKのものとしてまとめる操作」と見なされてるぞい。
4-4.（追記予定）
🧨 しかし End(𝒞) にモナド構造 T を取ると、
平易な訳：
会社の圏𝒞の自己函手たちの世界（End(𝒞)）に、
「構造を包んで操作するための仕組み（モナドT）」を導入しても、
補足：
End(𝒞)
会社𝒞上の自己変換（F:𝒞→𝒞）たちの圏
𝒞上の自己函手たち全体の圏ぞい
モナドT
操作をラップして制御する構造（たとえば“会社法のルール”に従って動く構造化された操作）
4-5.
μ∘Tη = id が恒常的に壊れる
平易な訳：
「それがうまく自己整合的に戻る（μ∘Tη = id）」という条件が常に壊れてしまうぞい！
補足：
μ∘Tη = id：この構造が「何度やっても同じように戻る」なら所有も安定して定義できるけど…
μ∘Tηの∘：関数や写像の合成（ごうせい）を表し、日本では一般的に「まる」と読むぞい。
文脈によっては、意味を明確にするために「ミューとTイータの合成」のように、説明的に読むこともあるぞい。
これぞ圏論でいう“構造保存の失敗”ぞい。
この式：
μ∘Tη = id（恒等写像に戻る）は、本来モナドとして成立しているべき“再現性”の条件なんだけど…ここではそれが壊れるぞい。
4-6.
（有限責任・情報非対称性・規制変動のため）。
平易な訳：
有限責任・情報のズレ・規制変更などによって、
一貫した集約操作が“必ず壊れてしまう”＝所有構造は不安定ぞい！
補足：
有限責任：所有者が“全部の責任”を持たないぞい。
情報の非対称性：会社内部と外部で情報が偏ってるぞい。
法規制の変動：圏そのものが変わるほど制度が揺れるぞい。
つまり、会社に対して“所有をまとめようとする自然変換”が、圏構造として成立しないぞい！
4-7.
🚫 よって （共）終対象が定義不能
平易な訳：
「じゃあ、会社の全ての構造が1つに集まるような“持ち主”を共終対象（まとめ役）として定義できるか？」
と考えても……そのような対象は定義できない＝存在しないぞい！
補足：
すべてを“所有者”という1点に集約する構造そのものが、圏の中に存在しないってことぞい！
終対象・共終対象とは：「あらゆる対象から（あるいはへ）ただ1つの射がある究極の対象」のことぞい！
→ つまり“全ての会社構造が自然に集約できる対象K”なんて、そもそも存在しないぞい！
4-8.
❌ 所有を示すユニバーサル射は欠落し、問自体が“対象不定義エラー”。
平易な訳：
だから、会社の構造を“誰かに所有させる”という写像＝ユニバーサル射は存在しないぞい。
結果的に、「会社は誰のものか？」という問いは、指し先の存在しない関数を呼び出す“構文エラー”そのものぞい！
補足：
所有を表現する「ユニバーサル射」＝この世界における“所有の型”がそもそも欠落してるぞい！！
「会社を誰かのものにしたい！」と思っても、そこに写すべき“所有者K”が数学的にいない！
→ だからその問いは、最初から意味不明なコードになってるぞい！
「会社は誰のものか？」＝Own(x, Company) を
“圏論的な対象”として定義しようとしたら、
そもそも射先が存在しない！＝“Undefined Target”ぞい！！
つまり、この問いは、定義されてない概念を呼び出す“構文エラー”と同じぞい。
4-9.
✅まとめぞい！
圏𝒞 会社内部の構造と関係の全体
会社 = 自己函手F 会社は変換そのものだぞい
F:𝒞→𝒞 会社が会社として変化し続ける動きだぞい
所有 = η:1_𝒞⇒K
所有とは“全部Kのものにする橋”だぞい
すべてを1つの所有者に集約する自然な変換だぞい
モナドT構造
制御された所有操作を表す構造だぞい
モナド構造が壊れる
所有関係が安定的に成立しないので破綻するぞい
（共）終対象がない
すべての会社を統合できる“持ち主的存在”、“全体のまとめ役”が存在しない＝集約不能ってことだぞい
ユニバーサル射の欠落 所有という射（関数）が定義できない
結論 所有という問いそのものが、“評価不能なエラー構文”、つまり“未定義”の爆発記号を化すぞい！
4-10.
🎯 一文でまとめるならこうぞい！
「会社は誰のものか？」という問いは、
圏論的には「存在しない対象に向けて写す関数を呼び出すようなもの」で、
そのような“所有者K”という構造が、そもそもこの世界に定義されていないぞい。
結果としてこの問いは“型エラー”で終了するぞい。
第５章
【ポストヒューマン論】へ続く
会社は誰のものか？ 全記事一覧
🔍解説編 AIさんに勝利する話
序章【数理法哲学】
第１章【層理論】
第２章【計算論】
第３章【熱力学】
第４章【圏論】（本記事）
第５章【ポストヒューマン論】
第６章【メタ論理学】
終
Zoi the Thinker＠ぞい式 © 2025
