Spans and kleisli maps

47 Views Asked by At

When is a category of sets and spans just a category of sets and kleisli morphisms? There is a link between spans and kleisli morphisms, but I feel like they are the same things. I guess I am assuming that the base category for the monad is Set. Is this only true for the multiset monad? To see how we can have a category of sets and spans, just see the nlab article here:

enter image description here