Математическая энциклопедия:
Категории С, обладающей финальным объектом,- пара (X, х 0), где , х 0 — морфизм финального объекта в X. Важнейший пример: пунктированное топологич. пространство, т. е. пара (X, х 0), где X — топологич. пространство, — точка, называемая отмеченной. Пунктированные топологич. пространства образуют категорию, морфизмами в к-рой являются отображения, переводящие отмеченную точку в отмеченную. А. Ф. Харшиладзе.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020