113 citations · 1.3k across the 83 of their papers we have counts for
1 paper · 2 filters
Chris Heunen, Martti Karvonen
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and…