Kleisli category



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


  • Named after the Swiss mathematician Heinrich Kleisli (1930–2011).

Modern English dictionary

Explore and search massive catalog of over 900,000 word meanings.

Word of the Day

Get a curated memorable word every day.

Challenge yourself

Level up your vocabulary by setting personal goals.

And much more

Try out Vedaist now.