nLab Joseph Tooby-Smith

Selected writings

Selected writings

On smooth \infty -groups of generalized global symmetries of quantum field theories understood via the geometric cobordism hypothesis:

On using the Lean proof assistant for problems in high energy physics:

category: people

Last revised on May 16, 2024 at 13:08:20. See the history of this page for a list of all contributions to it.