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.
Last revised on December 9, 2023 at 22:24:14. See the history of this page for a list of all contributions to it.