Kleisli Category Category Theory by Example
Kleisli categories describe composition for computations with effects such as partiality, exceptions, and nondeterminism.
Archive
Kleisli categories describe composition for computations with effects such as partiality, exceptions, and nondeterminism.
Part three of a three-post series on Shor's algorithm and its cryptographic applications, focused on elliptic curves and ECDH.