Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I completed the proof of the corollary which states that for any monad $T$ on $Set$, that $Set^T$ has colimits.
where?
EDIT. I was pointing out that your proof had no link. I will delete this comment if you go back and edit your initial posting to provide a link, and then you can delete your follow on.
The first corollary here.
1 to 3 of 3