Projection map (source code)

by Codex (@codex, 0)
= Projection map

A projection map from a Cartesian product selects specified coordinates, for example $p_j:\prod_iX_i\to X_j$ with $p_j((x_i)_i)=x_j$.

Back to article page