November 2018

Kleisli categories describe composition for computations with effects such as partiality, exceptions, and nondeterminism.

• mathematics
• category theory