concrete category

A category \(\mathcal{C}\) is said to be concrete, if it comes as pair \((\mathcal{C}, \mathcal{F})\) where \(\mathcal{F}: \mathcal{C} \rightarrow \mathrm{Set}\) is a faithful functor