categorical product

Let be a category and a set of objects, then the categorical product is - if it exists - an object

with morphisms

such that for every diagram

there exists a unique morphism , making the diagram commute

Note, that most of the time, a small product is meant see also:

• product as limit