Математическая энциклопедия ФИНАЛЬНЫЙ ОБЪЕКТ терминальный объект, категории - понятие, формализующее свойства одноточечного множества. Объект Ткатегории наз. финальным, если для любого объекта Xиз множество Н( Х, Т )состоит из одного морфизма. Ф. о. наз. также правым нулем категории Дуальным образом определяется левый нуль, или инициальный объект, категории. М. Ш. Цаленко. |