圏論の「タナカ再構成」を、川を挟んだ友人たちの写真で解説
Tannakian Reconstruction
圏論の「Tannakian reconstruction（タナカ再構成）」を、川を挟んだ友人たちの写真の重ね合わせに例えて解説。圏Cから集合圏Setへの関手（コプレシーフ）をすべて重ね合わせることで、もとの圏の射を復元できるという定理を、米田の補題を用いて証明します。具体例として、モノイドの表現からモノイドを復元する場合も紹介。圏論の抽象的な概念を、直感的なイメージとともに学べる記事です。
これは、タナカ再構成を一言で表したものです。関手は、ある圏の中に別の圏の像を映し出します。それは情報が失われる可能性のある符号化ですが、常にソースの構造を保存します。