「準同型（Homomorphism）」という言葉に対する違和感、それは圏論を志す多くの学習者が抱く、極めて健全で鋭い直感です。
第1章では、この「納得感のなさ」の正体を、歴史的背景、代数的な定義との乖離、言語的なニュアンス、そして圏論が達成しようとした「抽象化の極致」という観点から、徹底的に解体・再構築していきます。
第1章：なぜ「準同型（Homomorphism）」という言葉に納得がいかないのか
1.1 違和感の根源：代数学の「残像」
初学者が圏論に触れる際、多くの場合、その前に「群論」や「環論」といった抽象代数学の基礎を学んでいます。そこで植え付けられた「準同型」のイメージが、圏論の学習において最初の大きな壁となります。
代数学における「準同型」の成功体験
代数学において、準同型写像 は明確な「役割」を持っていました。それは**「演算（構造）を保存する」という役割です。 例えば、群 において、準同型 は を満たすことが要求されます。ここでは、「集合 の内部に という要素があり、それらが演算 で結ばれている」という内部構造**が主役です。
準同型という言葉の「準（Homo-）」は「同じ（Same）」を、「同型（-morphism）」は「形（Shape）」を意味しますが、代数学における「形」とは、まさにこの**「演算規則」**のことでした。
圏論における「射」へのすり替え
ところが圏論に入ると、かつて「準同型」と呼ばれていたものは、素っ気なく**「射（Morphism）」**と呼ばれるようになります。そして、ここが混乱の元なのですが、圏論の専門書や論文では、射の集合を Hom(A, B) と記述します。
「射（Morphism）」と呼んでいるのに、なぜ記号は Hom なのか？
「準同型ではないもの（ただの矢印）」も Hom の中に入っているのではないか？
この名称と実態のズレが、最初の「納得感のなさ」を生みます。圏論における Hom は、もはや「準同型性」を保証する形容詞ではなく、単なる「AからBへの関係性のスロット」を指す固有名詞に変質してしまっているのです。
1.2 「内部」を捨てた代償と「外部」への転換
圏論が準同型という言葉から「準（Homo）」のニュアンスを剥ぎ取っていったプロセスを理解するには、圏論が数学界に持ち込んだ「革命的視点」を理解する必要があります。
要素の喪失
代数学の準同型では、常に「要素（）」にアクセスできました。準同型かどうかを判定するには、要素を代入して計算してみればよかったのです。 しかし、圏論は**「対象（Object）の内部を見てはいけない」**というルールを課します。対象は中身のない「点」として扱われます。
中身が見えない以上、演算 が保存されているかどうかなど、直接確認する術はありません。それなのに「準同型（Hom）」という言葉が使われ続ける。ここに論理的な飛躍を感じるのは当然です。
「関係」こそが「形」であるという再定義
圏論は、構造を「演算規則」ではなく、**「他の対象との関わり方（合成のパターン）」**として再定義しました。
- 代数学的視点： 内部に演算があるから、それを守るのが準同型だ。
- 圏論的視点： 外部との矢印（射）の繋がりに一定のルール（結合律・単位律）がある。その繋がりそのものが「構造」であり、それゆえに全ての矢印は（その圏のルールに従うという意味で）「準同型（Morphism）」である。
つまり、圏論における Morphism は、「構造を保つ写像」という限定的な意味から、「その圏が定義する宇宙における唯一の正当な移動手段」という全般的な意味へと拡張されたのです。
1.3 記号 Hom の亡霊：歴史的慣習と現代的解釈
なぜ Morphism(A, B) ではなく Hom(A, B) と書くのか。この歴史的な経緯を辿ると、納得感の欠如を埋めるヒントが見えてきます。
サミュエル・アイレンベルグとソーンダース・マックレーンの選択
1945年、圏論を創始したアイレンベルグとマックレーンは、もともと代数的位相幾何学の研究の中で、群や加群の間の「準同型」を整理するためにこの枠組みを作りました。彼らにとって、対象は常に「群」や「環」であり、射は常に「準同型」でした。
そのため、射の集まりを Hom-set と呼ぶのは、当時の彼らにとっては極めて自然な、いわば「現場の言葉」だったのです。
用語の「慣性」
数学の歴史において、一度定着した記号を覆すのは困難です。圏論が発展し、対象が「集合（演算なし）」や「順序集合（演算ではなく関係）」、さらには「行列」や「論理式」にまで広がった後も、Hom というラベルだけが剥がれずに残りました。
初学者は、この Hom という文字を見て無意識に「演算の保存」という代数的なイメージを呼び起こしてしまいます。しかし、現代の圏論における Hom は、もはや「準同型」という英単語の略称ではなく、**「射という概念が格納されるアドレス」**のような抽象的な符号として受理すべきものなのです。
1.4 「射（Morphism）」が「準同型」と呼ばれなくなる境界線
圏論を理解する上で、どの段階で「準同型」という言葉が適切でなくなるのかを検討することは有益です。
具体的な圏でのケーススタディ
- 群の圏（Grp）： ここでは射は「群準同型」そのものです。
Homという言葉に違和感はありません。 - 集合の圏（Set）： 射は「ただの写像」です。写像を「準同型」と呼ぶことは通常ありません。なぜなら、集合には保存すべき「演算」がないからです。
- 順序集合の圏（Ord）： 射は「単調写像（）」です。これは「順序という構造」を保っているので、広義の準同型と言えなくもありません。
- 行列の圏（Mat）： 対象は自然数（次元）、射は行列です。行列を「準同型」と呼ぶのは、線形写像の文脈を除けば、直感的に結びつきにくいでしょう。
これらの多様な事例をすべて Hom(A, B) という一つの名前で呼ぶ強引さが、初学者の脳内に「本当にこれでいいのか？」という摩擦を引き起こします。
1.5 日本語訳における「射」という言葉の功罪
日本語では Morphism を「射（しゃ）」と訳します。これがまた、納得感を妨げる要因の一つになっています。
「射」のイメージの固定化
「射」という言葉からは、「放射」「投影」「写像」といった、「何かをどこかへ投げつける」という動的なイメージが想起されます。また、「写像（Mapping）」の類義語として捉えられがちです。
しかし、圏論の射は、必ずしも「要素を移す操作」である必要はありません。 例えば、圏を「道」とみなせば、射は「地点Aから地点Bへ繋がっている道」という「状態」や「存在」そのものを指します。
「準同型」という言葉に納得がいかないのは、私たちが無意識に**「準同型 ＝ 写像の一種 ＝ 要素を動かすもの」という三段論法に縛られているからです。 圏論は、この「要素を動かす」という具体的イメージから、「AとBを繋ぐ抽象的なリンク」**へと、言葉の重心を移動させようとしています。
1.6 「準同型」という言葉の呪縛を解くための処方箋
納得感を得るために、以下の3つのステップで思考をアップデートすることを提案します。
ステップ1：形容詞から名詞への格上げ
「準同型な（写像）」という形容詞的な理解を捨てましょう。圏論における射（Morphism）は、その圏における「移動のルール」そのものです。 「この射は準同型か？」と問うのではなく、「この圏において許された唯一の関係性がこれである」と受け入れます。
ステップ2：Hom を「可能性のカタログ」とみなす
Hom(A, B) を見たとき、「準同型の集合」と読むのではなく、**「AからBへの影響の及ぼし方のリスト」**と読み替えてください。
AがBに対して何ができるのか、その全リストが Hom(A, B) です。そこには計算規則の保存が含まれることもあれば、単なる順序関係が含まれることもあります。
ステップ3：構造を「内側」ではなく「外側」で定義する
「準同型」という言葉が内部演算を想起させるなら、それを「合成の整合性」という言葉に置き換えてください。
射 と があったとき、必ず が存在する。この**「連結の自由度」**こそが、圏論における真の「構造」であり、その構造を体現するものが Morphism です。
1.7 結論としての「納得感」
あなたが「準同型」という言葉に納得がいかないのは、あなたが**「言葉の本来の意味」を大切にしているから**です。
数学において、用語の拡張はしばしば暴力的に行われます。かつて「数」が自然数から複素数へと拡張されたとき、人々は「虚数（想像上の数）」という言葉に強い違和感を覚えました。圏論における「準同型（Hom / Morphism）」の拡張も、それと同じ性質のものです。
「準同型」は、もはや「構造を保つ写像」という限定的な意味を離れ、**「抽象的なネットワークにおけるノード間のエッジ」**という、より高次な概念へと進化しました。
この「言葉の意味の蒸発」を受け入れたとき、あなたは「準同型（Homomorphism）」という古い殻を脱ぎ捨て、圏論という純粋な「関係性の学問」の入り口に立つことができるのです。
（※第1章：相当の拡張を、エッセンスを凝縮した形で記述しました。この濃密な論理展開をベースに、さらに具体的な圏（群、環、トポス、プログラミング言語）の事例を肉付けすることで、さらに具体例を加えることで、議論を深めることができる。）