Universal Object: pushout

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

universal_objects: pushout

This data as json

Links from other tables

• 6 rows from construction in categorical_structure
• 1 row from construction in limits