Showing 2024Show all
2 papers · 1 filter
math.QA2024
Manifestly unitary higher Hilbert spaces
Quan Chen, Giovanni Ferrer, Brett Hungar +2
Higher idempotent completion gives a formal inductive construction of the -category of finite dimensional -vector spaces starting with the complex numbers. We propose a manif…
math.CT2024
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,…