Dec 15, 2020 | Articles, General, Resources
New Capabilities for New Challenges Abstract Conexus is interested in working with selected health care researchers that want to apply our expertise in Applied Category Theory to high-impact projects related to the COVID-19 Public Health Emergency. This brief...
Dec 11, 2020 | General, News
How to reduce data wastage using data interoperability Eric Daimler recently spoke with Ishu Singh about the outdatedness of legacy data systems and the growing importance of data interoperability. Conexus allows data to be related by meaning allowing databases...
Oct 27, 2020 | Technical Papers
Abstract In this paper we show how to compute left-Kan extensions of set-valued functors with the venerable chase algorithm from relational data base theory. The chase constructs an initial model of a particular finite-limit theory associated with each left-Kan...