1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 4(129)'2015
  5. Аналіз безоб'єктної категорії та категорії з об'єктами для побудови категорної алгебри

Аналіз безоб'єктної категорії та категорії з об'єктами для побудови категорної алгебри

І.А. Лещінська
Анотації на мовах:

Розглядається задача аналізу класичної категорії та її модифікації - предикатної категорії, яка надає більші можливості для додатків теорії категорій в області комп'ютеризації та інформатизації. Зокрема, предикатна категорія є гарною формальної базою для побудови високопродуктивних мозкоподібних комп'ютерів паралельної дії. У даній, першій частині роботи, розглянуті класична абстрактна категорія, безоб'єктна категорія та категорія з об'єктами.
Ключові слова: предикатна категорія, безоб'ектно категорія, категорія з об'єктами