Relationships of the Category of Correct Equations With Other Categories

Previously, we introduced a new general concept of an equation using the concept of “predicate” based on the principle of preserving the solution under transformations and constructed elements of the category of equations based on known categories. For a uniform presentation of problems in the theory of dynamical systems, as well as for a more systematic application and generalization of known methods, it is proposed to apply the approach of category theory. In this article, we introduced the concept of the category of correct equations with the inclusion of the well-known "Hadamard correctness" and gave examples of transformations with the preservation of correctness. The purpose of this article is to link this concept with other categories.