Definition 4.34.1. Let $p : \mathcal{S} \to \mathcal{C}$ be a functor. We say that $\mathcal{S}$ is fibred in groupoids over $\mathcal{C}$ if the following two conditions hold:

1. For every morphism $f : V \to U$ in $\mathcal{C}$ and every lift $x$ of $U$ there is a lift $\phi : y \to x$ of $f$ with target $x$.

2. For every pair of morphisms $\phi : y \to x$ and $\psi : z \to x$ and any morphism $f : p(z) \to p(y)$ such that $p(\phi ) \circ f = p(\psi )$ there exists a unique lift $\chi : z \to y$ of $f$ such that $\phi \circ \chi = \psi$.

There are also:

• 2 comment(s) on Section 4.34: 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).