In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets.
Конкретная категория в математике — категория, снабжённая строгим функтором в категорию множеств.