• 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$.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: