The category $\mathbf{Set}$ of sets can be viewed as the category of models for a Lawvere theory, and hence it is equivalent to the Eilenberg-Moore category of algebras of an (associated to the Lawvere theory) monad $\mathbb{T}:\mathbf{Set}\to\mathbf{Set}$.

What is the Kleisli category of $\mathbb{T}$?


The Kleisli category of $\mathbb T$ is the subcategory of the Eilenberg-Moore category of all free algebras. Now, every set is the free set over itself (if I'm not mistaken).

| cite | improve this answer | |
  • 2
    $\begingroup$ Yes, just recall that the actual monad in this case is the identity functor. $\endgroup$ – Kevin Arlin Jul 25 '16 at 19:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.