全ての概念はKan拡張である
全ての概念はKan拡張である
圏論の提言の一つ
圏論 | 壱大整域