The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

4.7 Examples of fibre products

In this section we list examples of fibre products and we describe them.

As a really trivial first example we observe that the category of sets has fibred products and hence every morphism is representable. Namely, if $f : X \to Y$ and $g : Z \to Y$ are maps of sets then we define $X \times _ Y Z$ as the subset of $X \times Z$ consisting of pairs $(x, z)$ such that $f(x) = g(z)$. The morphisms $p : X \times _ Y Z \to X$ and $q : X \times _ Y Z \to Z$ are the projection maps $(x, z) \mapsto x$, and $(x, z) \mapsto z$. Finally, if $\alpha : W \to X$ and $\beta : W \to Z$ are morphisms such that $f \circ \alpha = g \circ \beta $ then the map $W \to X \times Z$, $w\mapsto (\alpha (w), \beta (w))$ obviously ends up in $X \times _ Y Z$ as desired.

In many categories whose objects are sets endowed with certain types of algebraic structures the fibre product of the underlying sets also provides the fibre product in the category. For example, suppose that $X$, $Y$ and $Z$ above are groups and that $f$, $g$ are homomorphisms of groups. Then the set-theoretic fibre product $X \times _ Y Z$ inherits the structure of a group, simply by defining the product of two pairs by the formula $(x, z) \cdot (x', z') = (xx', zz')$. Here we list those categories for which a similar reasoning works.

  1. The category $\textit{Groups}$ of groups.

  2. The category $G\textit{-Sets}$ of sets endowed with a left $G$-action for some fixed group $G$.

  3. The category of rings.

  4. The category of $R$-modules given a ring $R$.


Comments (2)

Comment #2212 by Mattias Jonsson on

In the middle of the paragraph starting with "As a trivial example", there is a typo in the definition of ; you presumably mean and not .


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0020. Beware of the difference between the letter 'O' and the digit '0'.