Definition 59.10.1. Let $\mathcal{C}$ be a category. A *family of morphisms with fixed target* $\mathcal{U} = \{ \varphi _ i : U_ i \to U\} _{i\in I}$ is the data of

an object $U \in \mathcal{C}$,

a set $I$ (possibly empty), and

for all $i\in I$, a morphism $\varphi _ i : U_ i \to U$ of $\mathcal{C}$ with target $U$.

## Comments (0)