全ての概念はKan拡張である、とは何か - algebraic dialy | 壱大整域
alg-d.com