Nijmegen Quantum Logic Group

home people seminar

Total and Partial Computation in Categorical Quantum Foundations

01 Jun 2015 [ proceedings (QPL) · preprint · slides ]

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