Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Definition 11.10.3.8. Let $U: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$ be a functor between categories. We say that $U$ is a locally cartesian fibration if it satisfies the following condition:

• For every object $Y$ of the category $\operatorname{\mathcal{D}}$ and every morphism $\overline{f}: \overline{X} \rightarrow U(Y)$ in the category $\operatorname{\mathcal{C}}$, there exists a pair $(X, f)$ where $X$ is an object of $\operatorname{\mathcal{D}}$ satisfying $U(X) = \overline{X}$ and $f: X \rightarrow Y$ is a locally $U$-cartesian morphism of $\operatorname{\mathcal{D}}$ satisfying $U(f) = \overline{f}$.

We say that $U$ is a locally cocartesian fibration if it satisfies the following dual condition:

• For every object $X$ of the category $\operatorname{\mathcal{D}}$ and every morphism $\overline{f}: U(X) \rightarrow \overline{Y}$ in the category $\operatorname{\mathcal{C}}$, there exists a pair $(Y, f)$ where $X$ is an object of $\operatorname{\mathcal{D}}$ satisfying $U(X) = \overline{X}$ and $f: X \rightarrow Y$ is a locally $U$-cocartesian morphism of $\operatorname{\mathcal{D}}$ satisfying $U(f) = \overline{f}$.