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.