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!
This page had no references. I have now added pointer to:
Am adding pointer to MacLane’s section VI also to a bunch of entries on categorical algebra, where it had all been missing.
Are there split pushouts as well than?
1 to 9 of 9