I was hopeful, but... > they are finitely complete, have finite coproducts but not all coequalizers. Er... > we construct a functor from a category of DSCs

I was hopeful, but... > they are finitely complete, have finite coproducts but not all coequalizers. Er... > we construct a functor from a category of DSCs Dammit. I should have known. I mean, it is a truth universally acknowledged that a monad is just a monoid in the category of endofunctors. How foolish I have been!