Фонг Б., Спивак Д.И. Семь эскизов о композиционности: приглашение к прикладной теории категорий

Перевод и редактирование Г. Чернышёва. — 461 с.Эта книга — приглашение открыть для себя передовые темы теории категорий на конкретных примерах из реальной жизни. Она содержит доступное, быстрое введение, подготавливающее более успешное усвоение дальнейшего материала. Темы книги касаются семи областей, каждая из которых сочетает вызывающие воспоминания приложения, такие как базы данных, электрические схемы или динамические системы, с исследованием категорных структур, включающих такие понятия, как присоединенные функторы, обогащенные категории или топосы и т.п. Теория категорий — это относительно новая область математики, которая во многом изменила чисто математические исследования. Технический прогресс заключается в том, что теория категорий обеспечивает основу для организации формальных систем и для перевода между ними, позволяя переносить знания из одной области в другую. Но эта же организационная структура также имеет много убедительных примеров за пределами чистой математики. В книге приведены эскизы реальных приложений теории категорий. Предварительного знания теории категорий не предполагается.