# Universal Object: binary sum

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

# universal_objects: binary sum

This data as json

construction | qualifier_hr |
---|---|

binary sum | two objects |