У роботі розглядаються підходи до програмної реалізації теоретико-категорних конструкцій. Проводиться порівняння відомих підходів до формалізації категорій в реальних задачах, що знайшли свою програмну реалізацію. Запропонована програмна реалізація теорії категорій на основі обчислювального підходу засобами параметризованого програмування.
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.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин