Lemma 4.40.3 (04SF)—The Stacks project

Loading web-font TeX/Caligraphic/Regular

Table of contents
Part 1: Preliminaries
Chapter 4: Categories
Section 4.40: Representable categories fibred in groupoids
Lemma 4.40.3 (cite)

previous lemma

numberstags

Lemma 4.40.3. Let $\mathcal{C}$ be a category. Let $\mathcal{X}$ , $\mathcal{Y}$ be categories fibred in groupoids over $\mathcal{C}$ . Assume that $\mathcal{X}$ , $\mathcal{Y}$ are representable by objects $X$ , $Y$ of $\mathcal{C}$ . Then

$\mathop{\mathrm{Mor}}\nolimits _{\textit{Cat}/\mathcal{C}}(\mathcal{X}, \mathcal{Y}) \Big/ 2\text{-isomorphism} = \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, Y)$

More precisely, given $\phi : X \to Y$ there exists a $1$ -morphism $f : \mathcal{X} \to \mathcal{Y}$ which induces $\phi$ on isomorphism classes of objects and which is unique up to unique $2$ -isomorphism.

Proof. By Example 4.38.7 we have $\mathcal{C}/X = \mathcal{S}_{h_ X}$ and $\mathcal{C}/Y = \mathcal{S}_{h_ Y}$ . By Lemma 4.39.6 we have

$\mathop{\mathrm{Mor}}\nolimits _{\textit{Cat}/\mathcal{C}}(\mathcal{X}, \mathcal{Y}) \Big/ 2\text{-isomorphism} = \mathop{\mathrm{Mor}}\nolimits _{\textit{PSh}(\mathcal{C})}(h_ X, h_ Y)$

By the Yoneda Lemma 4.3.5 we have $\mathop{\mathrm{Mor}}\nolimits _{\textit{PSh}(\mathcal{C})}(h_ X, h_ Y) = \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, Y)$ . $\square$

Comments (0)

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