Report - MONADS ON DAGGER CATEGORIES€¦ · 2.1. Definition. A dagger is a functor y: Dop!D satisfying Ay= Aon objects and fyy= fon morphisms. A dagger category is a category equipped with

Please pass captcha verification before submit form