Abstract:
Previously, employing the apparatus of category theory for abstract description of knowledge in production-type systems was shown to be reasonable. Interest towards applying the obtained techniques to so-called dynamic expert systems, which allow for variation of data and knowledge in the course of system functioning, required a certain generalization of previously developed category theory apparatus related to consideration of so-called folded categories. The paper is devoted to the study of some properties of such categories.