Значение слова "ВЛОЖЕНИЕ КАТЕГОРИЙ" найдено в 1 источнике

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

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