underlying-set functor

Let \(\mathcal{C}\) be a concrete category. The underlying-set functor is defined as the (canonical) faithful functor \(U: \mathcal{C} \rightarrow \mathrm{Set}\) mapping

1. an object to its set
2. a morphism to the set-theoretic map