In this paper, we develop an algebraic approach to data integration by combining
techniques from functional programming, category theory, and database theory. In our …

We show how computation of left Kan extensions can be reduced to computation of free
models of cartesian (finite-limit) theories. We discuss how the standard and parallel chase …

We present a case study in applied category theory written from the point of view of an
applied domain: the formalization of the widely-used property graphs data model in an …

The objective of this thesis is to show that studying the underlying compositional and
functorial structure in machine learning systems allows us to better understand them. In …

Data constraints are fundamental for practical data modelling, and a verifiable conformance
of a data instance to a safety-critical constraint (satisfaction relation) is a corner-stone of …

A common problem in data science is" use this function defined over this small set to
generate predictions over that larger set." Extrapolation, interpolation, statistical inference …

Title: Modelling and Management of Multi-Model Data Author: Pavel Koupil (Čontoš)
Department: Department of Software Engineering Supervisor: doc. RNDr. Irena Holubová …

In this paper we use formal tools from category theory to develop a foundation for creating
and managing models in systems where knowledge is distributed across multiple …

In this paper we take the common position that AI systems are limited more by the integrity of
the data they are learning from than the sophistication of their algorithms, and we take the …

There are countless sources of data available to governments, companies, and citizens,
which can be combined for good or evil. We analyse the concepts of combining data from …