Объект категории — неопределяемое понятие теории категорий. Термин, используемый для обозначения элементов произвольной категории, играющих роль множеств, групп, топологических пространств и т. п.
Каждая категория состоит из элементов двух классов, называемые классом объектов и классом морфизмов соответственно. Деление элементов категории на объекты и морфизмы имеет смысл только в пределах фиксированной категории, так как объекты одной категории могут быть морфизмами другой и наоборот.
Класс объектов категории обычно обозначается . Любому объекту категории однозначно соответствует единичный морфизм , причём разным объектам отвечают разные единичные морфизмы. Поэтому формально можно определить понятие категории только с помощью морфизмов. Однако термин «объект категории» является удобным языковым средством, которое практически всегда используется.
Это заготовка статьи по алгебре. Вы можете помочь проекту, исправив и дополнив её. |
Объект 277 в жизни, предмет статуя истукан как объект религиозного поклонения 4 буквы, летающий объект, объект 277 бронирование.
Белогорка (Мокшанский район Пензенской области), Категория:Античная архитектура на Сицилии, Файл:Mansell Lotus 95T Dallas 1984 F1.jpg, Дом науки (Севилья).