The category of effectuses is equivalent to the category of FinPACs with effects, via the Kleisli construction for the lift monad (-)+1.
The category of effectuses is equivalent to the category of FinPACs with effects, via the Kleisli construction for the lift monad (-)+1.