Manifestly unitary higher Hilbert spaces

Quan Chen, Giovanni Ferrer, Brett Hungar +2

Higher idempotent completion gives a formal inductive construction of the $n$-category of finite dimensional $n$-vector spaces starting with the complex numbers. We propose a manif…