Limit: binary product
A binary product is a kind of limit. Given a pair of points, considered as a diagram in some category, a binary product is the limit of that pair of points in that category.
limits: pair of points, 0, binary product
This data as json
diagram | is_colimit | construction |
---|---|---|
pair of points | 0 | binary product |