5 papers
The many faces of higher Hilbert spaces
Giovanni Ferrer, Lukas Müller, David Penneys +1
Finite-dimensional operator algebras can be viewed as , , or -algebras, leading to different notions for their categories of modules and c…
Symmetries and Higher-Form Connections in Derived Differential Geometry
Severin Bunk, Lukas Müller, Joost Nuiten +1
We introduce a general definition of higher-form connections on principal -bundles in differential geometry. This is achieved by developing the formal differentiation and i…
A new angle on stacking faults: Overcoming the edge-on limit in high-resolution defect analysis
Nicolas Karpstein, Lukas Müller, Andreas Bezold +3
The nature of stacking faults - whether intrinsic or extrinsic - plays a pivotal role in defect-mediated processes in crystalline materials. Yet, current electron microscopy techni…
Dagger -categories
Giovanni Ferrer, Brett Hungar, Theo Johnson-Freyd +8
Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis,…
Categorified Open Topological Field Theories
Lukas Müller, Lukas Woike
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equippe…