『「写」という言葉は、圏論においてもっとも重要な概念である「射(モルフィズム)」、またはそれを分野横断的に繋ぐ「関手(ファンクター)」を指している可能性が高いです。
結論から言うと、「写像(マッピング)」は「射(モルフィズム)」の具体的な一種(身近な一例)という関係にあります。
詳しくその関係性と違いを解説します。
1. 「写像(マッピング)」とは?
従来の数学(集合論)で使われる言葉で、「ある集合の要素」を「別の集合の要素」に過不足なく対応させる規則(関数)のことです。
- イメージ:箱Aの中にある「リンゴ」を、箱Bの中にある「150円」という価格に結びつけるルール。
- 特徴:必ず「中身(要素)」が存在し、要素から要素へと矢印が伸びています。
2. 圏論の「射(モルフィズム)」とは?
圏論で登場する「写」の本質にあたる言葉で、対象と対象を繋ぐ「矢印(関係性)」そのものを指します。
- イメージ:中身が何であれ、AからBへ向かっている「矢印($\to$)」そのもの。
- 特徴:対象の中身(要素)は気にしません。つながりのルールや構造だけを抽象化したものです。
3. 「写像」と「射」の決定的な関係
写像と射(写)は、「具体的か、抽象的か」という階層の関係にあります。
① 写像は「射」の一種である
圏論では、あらゆる世界を「対象」と「射(矢印)」で表します。
もし対象を「集合」とした場合、その間を繋ぐ矢印(射)は、私たちがよく知る「写像」そのものになります。
つまり、写像は圏論という広い世界における「一つの具体例」に過ぎません。
② 「射」は写像以外のものでも良い
圏論の「射」は、要素を動かすルール(写像)である必要はありません。
中身のない抽象的なつながりでも矢印さえ引ければ何でも「射」と呼びます。
- 例(論理学):対象を「命題」としたとき、射は「ならば($\implies$)」という論理のつながり。
- 例(AI・数理):対象を「ニューラルネットワークの層」としたとき、射は「データの変換プロセス(行列計算など)」。
4. もう一つの「写」:関手(Functor)
圏論には、もう一つ重要な「写」の概念があります。それが関手(かんしゅ)です。
これは「圏」と「圏」を丸ごと繋ぐ、いわば「矢印の世界を、別の矢印の世界へと丸ごと写す超巨大な矢印」です。
【 圏 A (例えば:哲学の世界) 】 【 圏 B (例えば:AIの世界) 】
対象 (概念) ──射(関係)──> 対象 対象 (データ) ──射(計算)──> 対象 │ ▲ └───────────── 関手 (写す) ────────┘
記事で「哲学もAIも圏論」と書かれていたのは、この関手(写)を使って、「哲学的な概念の関係性」を、そのまま「AIのデータ構造の関係性」へと構造を壊さずに翻訳(マッピング)できるからです。
✅
「写像」は要素と要素を具体的に結ぶルールであり、圏論の「射(写)」はそれを限界まで抽象化した「矢印そのもの」です。
圏論は、写像の「中身を動かす」という性質を取り払い、「つながりの構造」だけを取り出すことで、哲学やAIを同じ数式で扱えるようにしています。
この「矢印(射)」の考え方について、さらに掘り下げたい部分はありますか?
- 「射」を組み合わせる(合成)とどうなるか知りたい
- AIの中で「写像や射」がどうデータ変換に使われているか知りたい
- プログラミングで出てくる「関手(ファンクター)」の具体例が知りたい
』