# Definition:Product (Category Theory)/Binary Product

Jump to navigation
Jump to search

## Definition

Let $\mathbf C$ be a metacategory.

Let $A$ and $B$ be objects of $\mathbf C$.

A **(binary) product diagram** for $A$ and $B$ comprises an object $P$ and morphisms $p_1: P \to A$, $p_2: P \to B$:

- $\begin{xy}\xymatrix@[email protected]+3px{ A & P \ar[l]_*+{p_1} \ar[r]^*+{p_2} & B }\end{xy}$

subjected to the following universal mapping property:

- $\begin{xy}\xymatrix@[email protected]+3px{ A & X \ar[l]_*+{x_1} \ar[r]^*+{x_2} & B }\end{xy}$

- $\begin{xy}\xymatrix@[email protected]+3px{ & X \ar[ld]_*+{x_1} \ar@{-->}[d]^*+{u} \ar[rd]^*+{x_2} \\ A & P \ar[l]^*+{p_1} \ar[r]_*+{p_2} & B }\end{xy}$

- is a commutative diagram, i.e., $x_1 = p_1 \circ u$ and $x_2 = p_2 \circ u$.

In this situation, $P$ is called a **(binary) product of $A$ and $B$** and may be denoted $A \times B$.

Generally, one writes $\left\langle{x_1, x_2}\right\rangle$ for the unique morphism $u$ determined by above diagram.

The morphisms $p_1$ and $p_2$ are often taken to be implicit.

They are called **projections**; if necessary, $p_1$ can be called the **first projection** and $p_2$ the **second projection**.

This article is complete as far as it goes, but it could do with expansion.In particular: the projection definition may merit its own, separate pageYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Also see

- Set Product, an archetypal example in the category of sets $\mathbf{Set}$
- Binary Product is Finite Product
- Definition:Binary Coproduct (Category Theory)

## Sources

- 2010: Steve Awodey:
*Category Theory*(2nd ed.) ... (previous) ... (next): $\S 2.4$: Definition $2.15$ - 2010: Steve Awodey:
*Category Theory*(2nd ed.) ... (previous) ... (next): $\S 3.2$: Definition $3.3$