A **rational dagger category** is a dagger category with a zero object and dagger biproducts such that every morphism has a kernel that is a dagger section and every binary diagonal morphism is a normal monomorphism.

- Matthew Di Meglio,
*Rational dagger categories*[arXiv:2312.02883]

Last revised on December 9, 2023 at 22:24:14. See the history of this page for a list of all contributions to it.