Theory of quasi-categories as a theoretical base for the construction of brain like computers

Abstract EN

The article gives a definition of the concept of a modified category and formulates the problem of developing a theory of modified categories that opens the way to building high-performance brain-like computers of parallel action.

Analyzing the structure of the category, we discovered in it some abnormality, which gave rise to a correction of the classical category concept.

Having developed such an adjustment, we received a modified category, which seems to be better for the theoretical construction starting point role of the parallel action brain-like computers basis creation.

We characterize the classical category, after that we will realize its predicate interpretation.

As a result, we obtain a predicate category one of the special cases of classical category.

Any algebra, satisfying all the above requirements, will be regarded as an objectless classical category.

It is possible to develop a theory of modified categories in parallel with the theory of classical categories.

The theory of modified categories will prove to be an interesting object for theoretical research and an important tool for practical applications.

It turns out that the diagrams of the theory of modified categories after their predicate interpretation coincide with the logical networks of brain-like computers.

This gives us hope that the theory of modified categories will eventually become the theoretical basis for constructing of brain-like computers of parallel action.