terminal object

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