Is Crane-Yetter fully extended?
topological field theory higher categories stable homotopy theory invertible field theory
topological field theory higher categories stable homotopy theory invertible field theory
topological field theory higher categories stable homotopy theory invertible field theory