I think that the category of sets and functions, or perhaps just the category of finite sets and functions, is a Kleisli category for some, probably trivial, monad. Is this so?
$\begingroup$
$\endgroup$
0
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
Every category $C$ is the Kleisli category on the identity monad on $C$.
