# Categorical product

Suppose  is a category and . A categorical product, or simply product, of  and  is an object  along with morphisms (called projection maps) , such that the following holds:
For any object  and morphisms , there is a unique morphism  such that  and .