Universal Object: directed colimit

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

universal_objects: directed colimit

This data as json

construction qualifier_hr
directed colimit of any preorder

Links from other tables