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)