категории - такой объект (обозначаемый обычно 0), что для каждого объекта Xэтой категории множества Н( Х,0) и H(0, X)одноэлементны. Н. о., если он существует в данной категории, определен однозначно с точностью до изоморфизма. В категории множеств с отмеченной точкой Н. о. является одноэлементное множество, в категории групп - единичная группа, в категории модулей - нулевой модуль и т. д. Не всякая категория содержит Н. о., но его всегда можно формально присоединить к любой заданной категории. Всякая категория с Н. о. есть категория с нулевыми морфизмами.
М. Ш. Цаленпо.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.