Универсальные стрелки единственны лишь с точностью до изоморфизма; возможно, именно из-за отсутствия абсолютной единственности это ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Маклейн С.N.
Категории для работающего математика
Универсальные стрелки единственны лишь с точностью до изоморфизма; возможно, именно из-за отсутствия абсолютной единственности это понятие формировалось медленно. Примеры существовали в течение долгого времени; решительный шаг был сделан в работе ( Samuel [1948]), где действительно сформулировано общее понятие универсальной стрелки; затем Бурбаки придали этому общему понятию широкую известность. С другой стороны, понятия предела и копредела имеют долгую историю в виде разнообразных конкретных примеров. Так, копределы применялись при доказательстве теорем о представлении бесконечных абелевых групп в виде объединения их конечно порожденных подгрупп. Пределы ( по упорядоченным множествам) появляются в теории р-адических чисел Гензеля и при построении гомологии и когомологии Чеха посредством предельных процессов, формализованных Понтрягиным.