Co-equalizers and arbitrary co-limits exist in categories Fcd and Rld

I’ve uploaded a new version of my article “Equalizers and co-Equalizers in Certain Categories” (a very rough draft).

In it is proved (among other) that arbitrary equalizers and co-equalizers of categories Fcd and Rld (continuous maps between endofuncoids and endoreloids) exist.

I’ve proved earlier that in these categories there exist products and co-products. So now we can conclude that all small categorical limits and co-limits exist in these my categories.

Whether my categories have exponentials (and thus are cartesian closed) remains an open problem.

Leave a Reply