Вложение Категорий
Ковариантный функтор F из категории Св категорию С', инъективный на классе морфизмов категории С.
Математическая энциклопедияКовариантный функтор F из категории Св категорию С', инъективный на классе морфизмов категории С.
Математическая энциклопедия