Conexus Research
Learn about the research and development towards our vision for universal data interoperability.
Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration
We approach the integration of manufacturing service capability databases using a different set of tools, specifically category theory (CT) and FQL, a functorial query language based on categorical mathematics.
Algebraic Databases
We generalize the set-valued functor model by using multi-sorted algebraic theories.
QINL: Query-Integrated Languages
We propose embedding programs in a query language rather than embedding queries in a programming language.
Relational Foundations for Functorial Data Migration
We develop a query language based on graph-based schemas.
Definition of CQL as a Context-free Grammar with Equations
We develop a canonical syntax and axiomatic semantics for CQL.
Database Queries and Constraints via Lifting Problems
We interpret SPARQL graph patterns as category-theoretic lifting problems.
Functorial Data Migration
We present a simple database definition language of categories and functors.
Ologs: A Categorical Framework for Knowledge Representation
Ologs are category-theoretic models for knowledge representation.
Resources - Company - News - Contact - Privacy Policy
@2023 Conexus AI, Inc. All Rights Reserved.