Universal Object: coequalizer

The coequalizer (technically, the coequalizer of any two parallel arrows) is a universal object. By "universal" we mean that, given any category (and any two parallel arrows in that category), there exists a unique object with its property; any two objects with the property are uniquely isomorphic.

universal_objects: coequalizer

This data as json

construction qualifier_hr
coequalizer two parallel arrows

Links from other tables