Математическая энциклопедия - пунктированный объект

категории С, обладающей финальным объектом,пара (X, х 0), где , х 0 - морфизм финального объекта в X. Важнейший пример: пунктированное топологич. пространство, т. е. пара (X, х 0), где X - топологич. пространство, точка, называемая отмеченной. Пунктированные топологич. пространства образуют категорию, морфизмами в к-рой являются отображения, переводящие отмеченную точку в отмеченную. А. Ф. Харшиладзе.

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

И. М. Виноградов

1977—1985