タナキアン再構成

Home About Bartosz Milewski's Programming Cafe Category Theory, Haskell, Concurrency, C++ July 14, 2026 Tannakian reconstruction Posted by Bartosz Milewski under Category Theory | Tags: Category Theory, Fiber Functor, Tannakian Reconstruction | Leave a Comment 二人の友人、アリスとボブは同じ街に住んでいますが、広い川の反対側にいます。毎晩、ボブは向こう側の明かりを見て、どれがアリスのものかを推測しようとします。彼らは巧妙な仕掛けを考え出しました。アリスは毎晩午後10時に10分間、明かりをつけます。毎晩ボブは、事前に取り決めた時間に長時間露光写真を撮ります。一年の終わりに、ボブはすべての写真を重ね合わせ、うまくいけば、唯一明るい点はアリスの窓になるでしょう。これがタナキアン再構成の概要です。 関手は、ある圏の姿を別の圏の中に作り出します。それは情報を失う可能性のあるエンコーディングですが、常に元の圏の構造を保持します。元の圏の二つの対象の間に射（モルフィズム）があれば、ターゲット圏のそれらの像の間にも必ず射が存在します。一般に、そのような一つの写真だけを見て、元の圏の構造を復元することは不可能です。しかし、ターゲット圏が十分な解像度を持っていれば、利用可能なすべての写真を重ね合わせることで、元の圏の射を復元できます。 ファイバー関手 ちょうど良い解像度を持つ圏は、集合の圏です。したがって、私たちは関手（歴史的な理由から、これらはコプレシェフと呼ばれます）を調べることになります。そのような関手は、対象を集合に、射を関数に写像します。関手を扱うとき、通常は関手を一定に保ちながら、対象と射が変化する様子を想像します。ここでは、対象を一定に保ちながら、すべての関手の全体性を使用することに興味があります。各対象に対して、各関手をこの対象に適用することによって、関手から集合へのマッピングを関連付けます。 : このマッピングは関手的です。実際、と の間の自然変換は関数の族 です。自然変換に対する の作用は、その成分 を取ることで定義されます。 はファイバー関手と呼ばれます。これは、対象をプローブし、射を通じてその直接の近傍をプローブしていると考えることができます。 タナキアン再構成 ホム集合をプローブするために、すべての可能な関手 による関数の集合を調べます。 この集合は、関手圏におけるホム集合である、二つのファイバー関手 と の間の自然変換の集合であることが判明しました。 自然変換の集合はエンドとして書くことができます。 エンドは巨大な積のようなものです。私たちのたとえ話では、すべての写真の重ね合わせに対応します。任意の積と同様に、その成分のいずれかが空であれば、エンド全体が空になります。エンドはすべての可能な関手にわたって実行されるため、 と で空でない関手を選択することを妨げるものは何でしょうか？そのような単一の悪いリンゴは、バッチ全体を台無しにするでしょう（空でない集合から空の集合への関数はありません）。 このエンドを非自明にするのは関手性です。射 があるときはいつでも、任意の関手 に対して、自動的に関数 が存在します。実際、Yoneda埋め込みがフルかつ忠実であるため、射 の数と同じ数のそのような関数が存在します。同型があります。 すべての関手の像を重ね合わせることによって、元のホム集合を回復します。これがタナキアン再構成の圏論的バージョンです。それを証明するために二重Yonedaトリックを使用します。まず、Yonedaの補題を使用して、エンドの下の関手を展開します。 これで、Yoneda還元を適用して を積分できます。結果は次のようになります。 再びYonedaによって、これは同等です。 例として、単一対象の圏にタナキアン再構成を適用してみましょう。そのような圏は単一のホム集合を持ち、これは合成の下でモノイドを形成します。集合値関手は、このモノイドの表現である単一対象を集合に写像します。そのような関手間の自然変換は、同変写像と呼ばれます。タナキアン再構成により、その表現の全体性からモノイドを回復できます。自然性/同変性はエンドの定義に組み込まれていることに注意してください。 共有: Redditで共有 (新規ウィンドウで開きます) Reddit その他 Xで共有 (新規ウィンドウで開きます) X LinkedInで共有 (新規ウィンドウで開きます) LinkedIn Facebookで共有 (新規ウィンドウで開きます) Facebook 友達にリンクをメールで送信 (新規ウィンドウで開きます) Email いいね: いいね 関連: 返信を残すキャンセル返信 アーカイブエントリ 投稿日: 2026年7月14日 午前3時51分 カテゴリ: Category Theory タグ: Category Theory, Fiber Functor, Tannakian Reconstruction その他: 返信を残すか、自分のサイトからトラックバックできます。 WordPress.comによって提供されています。 Bartosz Milewski's Programming Cafe の詳細を見る 今すぐ購読して、続きを読むと全アーカイブにアクセスしてください。 メールアドレスを入力… 購読 続きを読む %d