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

ВЛОЖЕНИЕ КАТЕГОРИЙ в энциклопедиях

Поделиться

Математическая энциклопедия

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