Fiber product

Revision as of 20:47, 13 May 2008 by Boy Soprano II (talk | contribs) (New page: The '''fiber product''', also called the '''pullback''' is an idea in category theory which occurs in many areas of mathematics. == Definition == Let <math>X</math>, <math>Y</math>, ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The fiber product, also called the pullback is an idea in category theory which occurs in many areas of mathematics.

Definition

Let $X$, $Y$, and $Z$ be structures of the same species; let $\phi : X \to Z$ and $\psi : Y \to Z$ be homomorphisms of this species of structure. Then the fiber product of $X$ and $Y$ with respect to $Z$, denoted $X \times_Z Y$ (when the specific functions $\phi$ and $\psi$ are clear) is the set of elements $(x,y)$ in the product $X \times Y$ in which $\phi(x) = \psi(y)$.

This article is a stub. Help us out by expanding it.