How do we collectively make sense of the world? Can we describe how structures, language and intelligence emerge from interactions between people, technologies and their environments?
We explore these questions in two research tracks: Accountable Sense-making and Networked Mathematics.
In this track, we develop precise mathematics, via polynomial functors, for understanding dynamical systems, decision processes, information pipelines and working languages. We want to find answers to the following questions.
In this track, we use natural language processing and formal logical inference to organize mathematical knowledge relationally and make cutting-edge research as well as standard mathematics more accessible.
A cornerstone of accessibility is search, and math is not easy to search. Indeed, a group of physicists discovered a useful identity in linear algebra but could not find previously published instances of the result despite asking experts.
On the flip side, how many useful identities are known by experts, but not accessible to physicists, engineers and others? Some are simple calculations that don’t fit in a traditional paper. Some may only be useful if the right person comes along with the right question.
We make the case for having all known mathematics available to everyone in accessible formats. This starts by having mathematical concepts and their relationships organized in useful ways.
Mathematical literature is growing quickly (3% yearly with 120,000 new papers in 2017) but our infrastructure for organizing and communicating these results has not kept up. The ramifications are significant: wasted search time, duplication of research, and missed connections between fields.
To mitigate these effects, we employ three strategies.
Categorical Systems Theory is an open-access book on using category theory to model complex systems, focussing on new ways of describing rich interfaces between individual people and parts. We formally define dynamical systems, systems theories, and systems doctrines.
“Collectives: Compositional protocols for contributions and returns” studies protocols for aggregating contributions and distributing returns. Through such a protocol, many members may participate in a mutual endeavor; one goal is to describe fair economic systems.
With collaborators at NIST, “Extracting Mathematical Concepts from Text” is a preliminary study into organizing mathematical knowledge with AI techniques, in order to make cutting-edge math research more accessible. We also release data sets for training and testing.
“Dynamic categories, dynamic operads: From deep learning to prediction markets” studies how organized systems adapt to internal and external pressures. We define the monoidal double category Org of dynamic organizations, with applications to deep learning and prediction markets.
MathAnnotator is a semi-automated annotation tool for extracting mathematical concepts from mathematical text, using large language models (LLMs) like ChatGPT.
MathGloss creates a glossary and knowledge graph for undergraduate mathematics from text, automatically using modern NLP tools and resources already available on the web.
Traditional NLP methods perform poorly when searching for and defining mathematical concepts in context. Parmesan is a hybrid system that addresses the issues explicitly in Category Theory by concept/relation/definition extraction, and entity linking. This forms part of the larger MathFoldr project.
We believe that Poly is a springboard for progress at the intersection of mathematics and computing. At the annual Poly at Work workshop, theoretical and applied researchers get together to solve Poly-shaped problems, and become more fluent in using Poly to articulate the things they care about.
Polynomial Functors: A General Theory of Interaction is an open-access textbook and lecture course on polynomial functors, a mathematical framework for describing interaction, dynamical systems, and decision-making. This provides the foundation for much of our work on intelligence and cooperation.
“Structure and dynamics of working language” is a new project that extends prior work on polynomial functors and dynamics to account for how language works, in the sense of basic physics: it directs energy transfer, leading to the displacement of material objects in space.