Универсальные стрелки единственны лишь с точностью до изоморфизма; возможно, именно из-за отсутствия абсолютной единственности это ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Маклейн С.N. Категории для работающего математика


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

(cкачать страницу)

Смотреть книгу на libgen

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