ВЛОЖЕНИЕ КАТЕГОРИЙ

- ковариантный функтор F из категории Св категорию С', инъективный на классе морфизмов категории С.