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.
predicate category objectless category, the category with objects
"Analyz bezobъektnoi katehoryy y katehoryy s obъektamy dlia postroenyia katehornoi alhebrы" [Analysis objectless category and the category with objects to build categorical algebra],
Information Processing Systems,