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