Lemma 4.31.6 (02XA)—The Stacks project

Processing math: 100%

$\xymatrix{ & \mathcal{Y} \ar[d]_ I \ar[rd]^ K & \\ \mathcal{X} \ar[r]^ H \ar[rd]^ L & \mathcal{Z} \ar[rd]^ M & \mathcal{B} \ar[d]^ G \\ & \mathcal{A} \ar[r]^ F & \mathcal{C} }$

be a $2$ -commutative diagram of categories. A choice of isomorphisms $\alpha : G \circ K \to M \circ I$ and $\beta : M \circ H \to F \circ L$ determines a morphism

$\mathcal{X} \times _\mathcal {Z} \mathcal{Y} \longrightarrow \mathcal{A} \times _\mathcal {C} \mathcal{B}$

of $2$ -fibre products associated to this situation.

Proof. Just use the functor

$(X, Y, \phi ) \longmapsto (L(X), K(Y), \alpha ^{-1}_ Y \circ M(\phi ) \circ \beta ^{-1}_ X)$

on objects and

$(a, b) \longmapsto (L(a), K(b))$

on morphisms. $\square$

Comments (0)

There are also:

6 comment(s) on Section 4.31: 2-fibre products

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).

Comments (0)

Post a comment