入口
圏
目標
Yoneda 補題
進捗
ルート設計中
ルート地図
- 1圏入口準備中
対象と射からなる世界を用意する
- 2関手中継点準備中
圏から圏へ構造を保って移す
- 3Hom 関手中継点準備中
ある対象との射全体を見る
- 4自然変換中継点準備中
関手のあいだの構造的な写像を扱う
- 5対象の見え方中継点準備中
対象を外から来る射で観測する
- 6Yoneda 補題目標準備中
対象の情報を Hom 関手と自然変換で読み取る
目標までの見通し
対象の情報を Hom 関手と自然変換で読み取る
入口
圏
目標
Yoneda 補題
進捗
ルート設計中
対象と射からなる世界を用意する
圏から圏へ構造を保って移す
ある対象との射全体を見る
関手のあいだの構造的な写像を扱う
対象を外から来る射で観測する
対象の情報を Hom 関手と自然変換で読み取る
対象の情報を Hom 関手と自然変換で読み取る