グロタン自身も高次圏論による量子重力理論の数学化に
取り組んでいるんじゃなかった?