Рассмотрена задача анализа классической категории и ее модификации - предикатной категории, которая предоставляет большие возможности для приложений теории категорий в области компьютеризации и информатизации. В частности, предикатная категория является хорошей формальной базой для построения высокопроизводительных мозгоподобных компьютеров параллельного действия. Рассмотрены категорная диаграмма и необходимый в контексте исследования аппарат алгебры конечных предикатов.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"