ブルバキが数学全体を近代化して、
見通しをよくしたように、
圏と函手の言葉で、もう一度、
新たなブルバキのようなことをする必要があると
思うんだよね。