Definition 24.2.2. Let $\mathcal{C}$ be a category. We denote $F$ the functor *which associates a presheaf to a semi-representable object*. In a formula

\begin{eqnarray*} F : \text{SR}(\mathcal{C}) & \longrightarrow & \textit{PSh}(\mathcal{C}) \\ \{ U_ i\} _{i \in I} & \longmapsto & \amalg _{i\in I} h_{U_ i} \end{eqnarray*}

where $h_ U$ denotes the representable presheaf associated to the object $U$.

## Comments (0)