Lemma 4.35.15 (06N6)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 1: Preliminaries
Chapter 4: Categories
Section 4.35: Categories fibred in groupoids
Lemma 4.35.15 (cite)

previous lemma
next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 4.35.15. Let $p : \mathcal{S} \to \mathcal{C}$ be a category fibred in groupoids. Let $x \to y$ and $z \to y$ be morphisms of $\mathcal{S}$ . If $p(x) \times _{p(y)} p(z)$ exists, then $x \times _ y z$ exists and $p(x \times _ y z) = p(x) \times _{p(y)} p(z)$ .

Proof. Follows from Lemma 4.33.13. $\square$

Comments (0)

There are also:

2 comment(s) on Section 4.35: Categories fibred in groupoids

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