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