Categorical-ontological approach to the modeling and formation of the educational program "Computer science and digital intelligence"

The work is devoted to solving the problem of creating educational IT programs that meet both the requirements of the employer and the complex requirements of production. Improved traditional ontology modeling (which can be subjective) by applying category theory to add mathematical rigor and verifiability to ontological models. A model and algorithmic support was developed for the automation of the educational program formation for the master's degree in "Computer science and digital intelligence".