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