圏論
#代数的構造
圏は対象とその射の集まり
全ての概念はKan拡張である(?)