Weakly-Initial Set

Definition

A weakly-initial set in an arbitrary Category with Families $\mathcal{C}$ is a family $(I,\bar{X})$ such that:

$$\forall Z:\mathcal{C}.\exists i\in I.\exists f:X_i\to Z$$