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

Про предикатні інтерпретації класичної категорії

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

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