>>807
Grothendieckがやったようなことを高次元圏論で最初っから構成するって感じなのかね