Categorical analysis of logic in conceptual modeling of subject areas for semantic integrity of information resources

The article explores the potential use of categorical logic analysis to create a conceptual model of the subject area for designing an information system. The issue of semantic disunity of information resources is addressed, emphasizing its relevance due to the rapid development of information technologies and the need for their integration. Semantic disunity is identified as occurring during the integration of heterogeneous information resources, which is "embedded" at the design stage of information systems within the given subject area. The impact of an information system with violations of semantic integrity on the business processes it supports is examined, identifying problems such as information gaps, duplication, and the need for preliminary information processing. It is demonstrated that while integrating information resources is essential, it is not sufficient alone for achieving semantic integrity. The necessity of forming a single context for the integrated system components as a prerequisite for their integration is proposed. A classification of approaches to information resource integration based on semantic integrity is developed. Suggestions for applying categorical logic analysis within the framework of conceptual modeling of the subject area are presented as a universal component for ensuring the system's semantic integrity. The novelty of the proposed approach lies in considering the information system components as sets based on category theory, building categorical relations between them, and identifying structural isomorphisms in the formal model.