Kleisli category noun1 •A category naturally associated to any monad T, and equivalent to the category of free T-algebras. formsKleisli categories