CATERGORY OF EQUATIONS AND ITS SUBCATEGORIES
DOI:
https://doi.org/10.52754/16948645_2024_1(4)_22Keywords:
category, morphism, equation, predicate, solution, correctnessAbstract
A new general notion of equation was introduced by us with assistance of the notion “predicate” on the base of the principle of preservation of solution while transformations and elements of the category of equations were constructed on the base of well-known categories. Initial values and boundary values are also included in the notion of equations. Further, we introduced the notion of the category of correct equations including the known “correctness by Hadamard” and presented examples of transformations. The aim of this paper is to describe the category of functions which was used in literature implicitly, the category of equations and their distinguished subcategories.
References
Медведев М.Я. Полусопряженные функторы и категории алгебр над n-тройками: Автореферат дисс. … к. ф.-м.н. (01.01.04) / М.Я. Медведев. - Новосибирск, 1973. - 17 с.
Борубаев А.А. О категорных характеристиках компактных, полных равномерных пространств и полных по Райкову топологических групп / А.А. Борубаев // Известия Академии наук, вып. 4, 2007. - С. 1-6.
Rosiсký J. Equational categories / J.Rosiсký // Cachiers de topologie et géométrie différentielle catégoriques, vol. 22, no. 1, 1981. - P.85-95.
Кененбаева Г.М., Аскар кызы Л., Бейшебаева Ж.К., Маматжан уулу Э. Элементы категории уравнений / Г.М. Кененбаева, Л.Аскар кызы, Ж.К. Бейшебаева, Э. Маматжан уулу // Вестник Института математики НАН КР, 2018, № 1. – С. 88-95. DOI: https://doi.org/10.52448/16948173_2018_88
Кененбаева Г.М. Применение доказательных вычислений к поиску областей, удовлетворяющих заданным свойствам / Г.М. Кененбаева. – Автореферат дисс. … к.ф.-м.н., 05.13.16. – Новосибирск, 1991. – 16 с.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2024 Journal of Osh State University. Mathematics. Physics. Technical Sciences
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.