Our goal is to change the practice of science and of engineering. Building a large complex system is hard, in both scientific modelling and systems engineering.
Our systems development is guided by mathematically precise design principles.
Many of our projects fall under the AlgebraicJulia project, a collaborative open-source framework for scientific modeling, data organization, project management, and decision-making. Topos is a key contributor to AlgebraicJulia, alongside our collaborators from:
Epidemiologists use stock-flow diagrams to describe disease dynamics. Together with the University of Saskatchewan and UC Riverside, we built the StockFlow.jl library and the ModelCollab web interface for designing and composing stock-flow diagrams using decorated cospans, as explained on our blog.
Using Bayesian lenses, statistical games and factor graphs, and in collaboration with VERSES Research, we aim to give a systems-theoretic account of active inference, a leading theory of perception, planning, and action.
Our AlgebraicDynamics.jl library provides a software interface for specifying and solving dynamical systems with compositional and hierarchical structure. The implementation of the composition of dynamical systems follows the mathematics of operads and operad algebras.
In our research paper with collaborators, we develop a diagrammatic framework for presenting and solving differential equations in physics, as explained on our blog. The Decapodes.jl library adapts these methods to engineering, merging models across electrical, mechanical, and aeronautical systems.
We demonstrate how category theory provides specifications that can be implemented efficiently via imperative algorithms and apply this to the field of graph rewriting. Our AlgebraicRewriting.jl library makes it easy to quickly write correct and performant code.
In this AFOSR project, we draw a precise analogy between models in statistics and logic using categorical logic. Statistical theories, being algebraic structures, are amenable to machine representation and are equipped with formal morphisms between different statistical methods.
Semagrams.jl is a tool for interacting with semantic diagrams. Semantic diagrams are graphical representations of data that have teeth, i.e. where there is a formal and machine-readable correspondence between the graphical display and its semantic meaning.
With the US National Institute of Standards and Technologies (NIST) and Carnegie Mellon University, we are adapting AlgebraicJulia for project management in systems engineering, to show its effectiveness for shared decision-making across multiple complex systems.