• We view the projection maps
    \[ \webleft\{ \text{pr}_{i} \colon \prod _{i\in I}A_{i}\to A_{i}\webright\} _{i\in I} \]

    as being given by

    \[ \text{pr}_{i}\webleft (\webleft (a_{j}\webright )_{j\in I}\webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}a_{i} \]

    for each $\webleft (a_{j}\webright )_{j\in I}\in \prod _{i\in I}A_{i}$ and each $i\in I$.


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


You can also use the contact form below: