Прикладная теория категорий

Теория категорий служит языком, который используется для описания общей структуры абстрактных математических систем. Возникнув в недрах гомологической алгебры, теория категорий помимо чисто математических приложений нашла применение в информатике и в теории искусственного интеллекта. Цель этой книги — познакомить читателя с современными понятиями теории категорий на конкретных примерах и показать, как они могут работать на практике. Для понимания материала достаточно знакомства с основами общей алгебры. Лишь в отдельных параграфах используются более сложные концепции современной математики. Эти места могут быть пропущены при чтении без значительного ущерба для понимания существа дела и основных приложений. В то же время, компактное изложение современных представлений теории категорий может оказаться полезным и для профессионального математика. Книга предназначена для исследователей в области информатики и прикладной математики, студентов, магистрантов и аспирантов, обучающихся по математическим специальностям.