Universal Object: binary product
The binary product (technically, the binary product 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 product
This data as json
|binary product||two objects|