1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Martti Karvonen
A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with addit…