Определение слова «Инъективный Объект»

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

Такой объект I абелевой категории С, что для каждого мономорфизма а : отображение является сюръективным. Всякий инъективный подобъект I объекта А. выделяется прямым слагаемым. Произведение И. о. — всегда И. о. В случае, когда каждый объект в Сизоморфен подобъекту нек-рого И. о. категории С, говорят, что С- категория с достаточно многими инъективными объектами (такова, напр., категория Гротендика). В этих категориях объект инъективен тогда и только тогда, когда он выделяется прямым слагаемым из любого объекта, его содержащего. Для объектов таких категорий можно строить резольвенты, состоящие из И.

Смотреть другие определения →


© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020

Top.Mail.Ru
Top.Mail.Ru