量子重力理論の高次元カテゴリー論的基礎付け
だという説もあったりして。