Skip to content
October 27, 2013 / porton

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

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: