Projection Map

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The canonical map from a product or fibered structure to one of its factors that selects the component coordinate, typically denoted πi : Πi X_i → X_j with πj((x_i)_i) = x_j.