Daniel Kan｜Kan Complex
ダニエル・カン（Daniel Kan, 1927–2013）は、イスラエル出身で主にアメリカ（MIT）で活躍した数学者です。彼はホモトピー論を「連続的な図形（トポロジー）」の世界から「離散的な組み合わせ（代数）」の色分けに置き換えた人物です。
1. Kan Complex（カン複体）とは
Kan Complexは、空間の「ホモトピー型」をコンピューターでも扱えるような「点と線と面の集まり（単体的集合）」として表現したときの、最も性質の良いモデルのことです。
- 定義の直感:「n次元の境界（n-simplexの皮）が中身（n+1次元の内部）に向かって埋められる」という拡張性質（Kan条件）を満たす単体的集合です。
- 数学的意味:「ある単体的集合がKan Complexであること」と「それが ∞-groupoid（無限亜群）であること」は同値です。つまり、すべての「道」に逆向きがあり、それらを自由に結合できる世界を数学的に厳密に定義したものがKan Complexです。
2. ダニエル・カンの最大の功績
カンの仕事がなければ、現代の ∞-category（無限カテゴリー）論は存在しなかったと言っても過言ではありません。
① 随伴（Adjunction）の発見 (1958年)
「左随伴・右随伴」という、数学における最も普遍的な関係性を初めて公式に定義しました。これは単なるカテゴリー論の道具に留まらず、「ある体系から別の体系へ情報を移し、また戻す」というプロセスの最適解を示すものでした。
② Kan拡張（Kan Extension）
「すべての概念はKan拡張である」と言われるほど強力な概念です。これは、限られたデータ（部分的なカテゴリー）から、全体の構造を「最も自然な形」で推論・延長する手法です。
隠れマルコフモデル（HMM hidden markov model）のデコード（ビタビアルゴリズム, Viterbi algorithm）を一般化したものであり、数学的な「計算省略」と「推論」という文脈で共通点があります。
③ 組み合わせ論的ホモトピー論
それまで「ゴムのように伸び縮みする図形」という曖昧なイメージだったトポロジーを、Simplicial Set（単体的集合）という代数的なデータ構造に置き換えました。これにより、ホモトピーを「計算」の対象に変えたのです。
3. グロタンディークとカンの関係
二人は同じ時代を生き、互いに影響し合いました。
- カン: 「空間をいかに厳密なデータ構造（Kan Complex）に落とし込むか」を追求。
- グロタンディーク: そのデータ構造をさらに広げて、「幾何学の基礎（スタックやトポス）」として巨大な伽藍を建築。
『Pursuing Stacks』の中でグロタンディークが議論している「モデルカテゴリー」や「ホモトピー仮説」は、カンの作った土台（Kan Complex）がなければ成立しませんでした。