Geometric categories for continuous gauging

---

Smooth symmetries are ubiquitous in physics. Using geometric categories and an `external perspective' on symmetries, we are able to recover some symmetries of continuous gauge theory.

---

Condensations in enriched infinity categories

---

We explore categorical condensation theory using the language of enriched infinity categories. This extends the theory beyond fusion n-categories to continuous, derived and non-dualizable symmetries.

---

Higher super vector bundles and categorified K-theory

---

One can see KO-theory as classifying super vector bundles twisted by `invertible super algebras'. We would like explore the categorification of this, by classifying invertible superlinear categories, and then comparing to the homotopy type of TMF.