Kleisli Category A Kleisli Category is a category based on a monad which has: 1 For objects, the types of the underlying programming language. For morphisms, functions that go from A to a type derived from B using an endofunctor in a category.