「写」とは、どんなものか。「写像」と、どう関係しているのか。

『「写」という言葉は、圏論においてもっとも重要な概念である「射(モルフィズム)」、またはそれを分野横断的に繋ぐ「関手(ファンクター)」を指している可能性が高いです。

結論から言うと、「写像(マッピング)」は「射(モルフィズム)」の具体的な一種(身近な一例)という関係にあります。

詳しくその関係性と違いを解説します。

1. 「写像(マッピング)」とは?

従来の数学(集合論)で使われる言葉で、「ある集合の要素」を「別の集合の要素」に過不足なく対応させる規則(関数)のことです。

  • イメージ:箱Aの中にある「リンゴ」を、箱Bの中にある「150円」という価格に結びつけるルール。
  • 特徴:必ず「中身(要素)」が存在し、要素から要素へと矢印が伸びています。

2. 圏論の「射(モルフィズム)」とは?

圏論で登場する「写」の本質にあたる言葉で、対象と対象を繋ぐ「矢印(関係性)」そのものを指します。

  • イメージ:中身が何であれ、AからBへ向かっている「矢印($\to$)」そのもの。
  • 特徴:対象の中身(要素)は気にしません。つながりのルールや構造だけを抽象化したものです。

3. 「写像」と「射」の決定的な関係

写像と射(写)は、「具体的か、抽象的か」という階層の関係にあります。

① 写像は「射」の一種である

圏論では、あらゆる世界を「対象」と「射(矢印)」で表します。

もし対象を「集合」とした場合、その間を繋ぐ矢印(射)は、私たちがよく知る「写像」そのものになります。

つまり、写像は圏論という広い世界における「一つの具体例」に過ぎません。

② 「射」は写像以外のものでも良い

圏論の「射」は、要素を動かすルール(写像)である必要はありません。

中身のない抽象的なつながりでも矢印さえ引ければ何でも「射」と呼びます。

  • 例(論理学):対象を「命題」としたとき、射は「ならば($\implies$)」という論理のつながり。
  • 例(AI・数理):対象を「ニューラルネットワークの層」としたとき、射は「データの変換プロセス(行列計算など)」。

4. もう一つの「写」:関手(Functor)

圏論には、もう一つ重要な「写」の概念があります。それが関手(かんしゅ)です。

これは「圏」と「圏」を丸ごと繋ぐ、いわば「矢印の世界を、別の矢印の世界へと丸ごと写す超巨大な矢印」です。

【 圏 A (例えば:哲学の世界) 】 【 圏 B (例えば:AIの世界) 】

対象 (概念) ──射(関係)──> 対象 対象 (データ) ──射(計算)──> 対象
│ ▲
└───────────── 関手 (写す) ────────┘

記事で「哲学もAIも圏論」と書かれていたのは、この関手(写)を使って、「哲学的な概念の関係性」を、そのまま「AIのデータ構造の関係性」へと構造を壊さずに翻訳(マッピング)できるからです。


「写像」は要素と要素を具体的に結ぶルールであり、圏論の「射(写)」はそれを限界まで抽象化した「矢印そのもの」です。

圏論は、写像の「中身を動かす」という性質を取り払い、「つながりの構造」だけを取り出すことで、哲学やAIを同じ数式で扱えるようにしています。

この「矢印(射)」の考え方について、さらに掘り下げたい部分はありますか?

  • 「射」を組み合わせる(合成)とどうなるか知りたい
  • AIの中で「写像や射」がどうデータ変換に使われているか知りたい
  • プログラミングで出てくる「関手(ファンクター)」の具体例が知りたい