1. Science
  2. Publications
  3. Information Processing Systems
  4. 4(129)'2015
  5. Analysis objectless category and the category with objects to build categorical algebra

Analysis objectless category and the category with objects to build categorical algebra

I.A. Leschynskaya
Annotations languages:

The problem of analyzing the classical category and its modification - the category of predicate, which offers more opportunities for applications of category theory in computer and information science. In particular, the predicate category is a good formal basis for building high-performance brain-like computers parallel action. In this, the first part of this paper, we consider the classical abstract category, objectless category and the category with objects.
Keywords: predicate category objectless category, the category with objects