1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 2(43)'2015
  5. Analysis of the categorical charts and predicates algebra as a basis of predicate categories

Analysis of the categorical charts and predicates algebra as a basis of predicate categories

I.A. Leschynskaya
Annotations languages:

The problem of analyzing the classical category and its modifications - predicate category, which offers more opportunities for applications of category theory in the field of computerization and information. In particular, the predicate category is a good formal basis for building high-performance brain-like computers parallel action. In this, the second part of the work, considered categorical chart and necessary in the context of the research the finite predicates algebra apparatus.
Keywords: categorical diagram, predicates algebra, predicate category