全ての概念はKan拡張である