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.

Principle

Extract a specified coordinate or factor from a combined structure while respecting the universal property of products: projections compose with any factor-preserving map and witness product universality.

Demonstration

For the Cartesian product A × B, the first projection π1 : A × B → A sends (a,b) to a. If f : X → A × B is given by f(x) = (g(x), h(x)), then π1 ∘ f = g, showing π1 recovers the A-component.

Misapplication

Assuming a projection is injective in general; projecting a product typically loses information (π1 is surjective if A nonempty but not injective unless B is a singleton), leading to incorrect invertibility claims.

Consequence

Provides coordinate-wise access, defines fibers (preimages of points) and participates in universal constructions (product cones, pullbacks) and categorical limits; sections of projections correspond to choices of factor-dependent selections.

Reversal

A section (right-inverse) of a projection reverses projection on its image by embedding a factor into the product; a diagonal map also reverses aspects by duplicating a coordinate into multiple factors.

Boundary

Requires a product or product-like construction to be canonical; arbitrary surjections that resemble coordinate forgetting are not canonical projections unless they satisfy the appropriate universal property.

Semantic Tension

Tension arises between projection and injection/section: projection discards complementary factor information, while injections or sections recover or embed factors, and one must distinguish canonical projection from arbitrary coordinate maps.

Synthesis

A projection map is the canonical coordinate selector from a product or fibered object to a chosen factor, central to product universality, fiber analysis, and the distinction between information extraction and embedding.