Stehouwer, Luuk Max Planck Institute for Mathematics, Max Planck Society;
https://doi.org/10.48550/arXiv.2304.02928 (Preprint)
Stehouwer, L., & Steinebrunner, J. (submitted). Dagger categories via anti-involutions and positivity.