Mathematical modelling by help of category theory: models and relations between them

arXiv2108.06288MaRDI QIDQ6375173FDOQ6375173

Publication date: 13 August 2021

Abstract: The growing complexity of modern practical problems puts high demands on the mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice becomes particularly important. Methods for model comparison and model choice typically used in practical applications nowadays are computation-based, and thus, time consuming and computationally costly. Therefore, it is necessary to develop other approaches for working abstractly, i.e. without computations, with mathematical models. The abstract description of mathematical models can be achieved by help of abstract mathematics, implying formalisation of models and relations between them. In this paper, a category theory-based approach to mathematical modelling is proposed. On this way, mathematical models are formalised in the language of categories, relations between the models are formally defined, as well as several practically relevant properties are introduced on the level of categories. Finally, an illustrative example is presented underlying how the category-theory based approach can be used in practice. Further, all constructions presented in this paper are also discussed from the modelling point of view by making explicit the link to concrete modelling scenarios.

Mathematics Subject Classification ID

General theory of mathematical modeling (00A71) Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10) Generalizations of ordered sets (06A75)

This page was built for publication: Mathematical modelling by help of category theory: models and relations between them

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6375173)