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.
The page split coequalizer said that the canonical presentation of an Eilenberg–Moore algebra is a split coequalizer in the category of algebras. I don’t think that’s right – if I recall correctly it’s reflexive there, but in general not split until you forget down to the underlying category. So I changed the page.
Thank you very much!
1 to 4 of 4