The product[1] of $A$ and $B$ is the pair $\webleft (A\times B,\webleft\{ \text{pr}_{1},\text{pr}_{2}\webright\} \webright )$ consisting of:
- The Limit. The set $A\times B$ defined by[2]
\begin{align*} A\times B & \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\prod _{z\in \webleft\{ A,B\webright\} }z\\ & \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ f\in \mathsf{Sets}\webleft (\webleft\{ 0,1\webright\} ,A\cup B\webright )\ \middle |\ \text{we have $f\webleft (0\webright )\in A$ and $f\webleft (1\webright )\in B$}\webright\} \\ & \cong \webleft\{ \webleft\{ \webleft\{ a\webright\} ,\webleft\{ a,b\webright\} \webright\} \in \mathcal{P}\webleft (\mathcal{P}\webleft (A\cup B\webright )\webright )\ \middle |\ \text{we have $a\in A$ and $b\in B$}\webright\} .\end{align*}
- The Cone. The maps
\begin{align*} \text{pr}_{1} & \colon A\times B\to A,\\ \text{pr}_{2} & \colon A\times B\to B \end{align*}
defined by
\begin{align*} \text{pr}_{1}\webleft (a,b\webright ) & \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}a,\\ \text{pr}_{2}\webleft (a,b\webright ) & \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}b \end{align*}for each $\webleft (a,b\webright )\in A\times B$.