Product (Category Theory)

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

$$AB$$ $$\text{require}AMScd\begin{array}{ccccc}A& \stackrel{{\pi }_1}{\leftarrow }& A\text{texttimes}B& \stackrel{{\pi }_2}{\to }& B\end{array}$$