Definition 8.2.2. Let $\mathcal{C}$ be a category. Let $p : \mathcal{S} \to \mathcal{C}$ be a fibred category, see Categories, Section 4.33. Given an object $U$ of $\mathcal{C}$ and objects $x$, $y$ of the fibre category, the presheaf of morphisms from $x$ to $y$ is the presheaf

$(f : V \to U) \longmapsto \mathop{Mor}\nolimits _{\mathcal{S}_ V}(f^*x, f^*y)$

described above. It is denoted $\mathit{Mor}(x, y)$. The subpresheaf $\mathit{Isom}(x, y)$ whose values over $V$ is the set of isomorphisms $f^*x \to f^*y$ in the fibre category $\mathcal{S}_ V$ is called the presheaf of isomorphisms from $x$ to $y$.

There are also:

• 4 comment(s) on Section 8.2: Presheaves of morphisms associated to fibred categories

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