initial object

Let \(\mathcal{C}\) be a category and \(I \in \mathrm{Ob}(\mathcal{C})\). \(I\) is said to be an initial object, if for each object \(A \in \mathrm{Ob}(\mathcal{C})\), there is exactly one morphism \(f: I \rightarrow A\)