Dagger categories via anti-involutions and positivity Apr 6, 2023 dagger categories unitarity https://arxiv.org/abs/2304.02928
