У роботі розглядаються підходи до програмної реалізації теоретико-категорних конструкцій. Проводиться порівняння відомих підходів до формалізації категорій в реальних задачах, що знайшли свою програмну реалізацію. Запропонована програмна реалізація теорії категорій на основі обчислювального підходу засобами параметризованого програмування.
This paper considers approaches to formalization of category theory. Known implementations of category theory in computer-oriented languages are compared. Implementation of categories based on computational approach and generic programming is presented.