Математическая энциклопедия
- ковариантный функтор F из категории Св категорию С', инъективный на классе морфизмов категории С.
ВЛОЖЕНИЕ КАТЕГОРИЙ в энциклопедиях
- ковариантный функтор F из категории Св категорию С', инъективный на классе морфизмов категории С.