##  [Projection Map](/projection-map-0) 

 Definition

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

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

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

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

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

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

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

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

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.