For a monad T on C, the Kleisli category Kl(T) has the same objects as C and morphisms A → B are C-morphisms A → TB, composed via the Kleisli extension f∘g = μ_C ∘ T(f) ∘ g. Free T-algebras; the category Haskell uses for monadic effects…
For a monad T on C, the Kleisli category Kl(T) has the same objects as C and morphisms A → B are C-morphisms A → TB, composed via the Kleisli extension f∘g = μ_C ∘ T(f) ∘ g. Free T-algebras; the category Haskell uses for monadic effects…