Product (Category Theory)

In category theory, a product is a limit of the following diagram:

$$AB$$ $$\begin{array}{ccccc}A& \stackrel{{\pi }_1}{\leftarrow }& A\times B& \stackrel{{\pi }_2}{\to }& B\end{array}$$