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