Kerodon

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

Variant 11.10.5.8. Let $U: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$ be an opfibration in sets. We define a functor $\chi _{U}: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set}$ as follows:

  • For each object $X \in \operatorname{\mathcal{C}}$, we define $\chi _{U}(X)$ to be the set of objects $\operatorname{Ob}( \operatorname{\mathcal{D}}_{X} )$.

  • For each morphism $f: X \rightarrow Y$ in $\operatorname{\mathcal{C}}$, we define $\chi _{U}(f)$ to be the function $f_!: \operatorname{Ob}( \operatorname{\mathcal{D}}_{X} ) \rightarrow \operatorname{Ob}( \operatorname{\mathcal{D}}_{Y} )$ of Variant 11.10.5.2.

We will refer to $\chi _{U}$ as the transport representation associated to $U$.