by linkdd on 10/17/24, 10:23 AM with 1 comments
by lproven on 10/18/24, 1:23 PM
> 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!