Towards a theory for the solar system internet Sustainability of accelerating space presence will depend on increasing the scalability of communications capability; in a word, networking. The so-called Solar System Internet represents a vast generalization of the Internet as we know it, and to prevent any plateauing of the technology we need a suitable theory. Efforts to model the time-varying, mobile, heterogeneous system of space systems has led to a natural application of mathematics from algebraic geometry, algebraic topology, and beyond. In this talk we will focus on how space communications motivated us to consider sheaf-theoretic constructions with a nod to other active areas of research to explain our progress.
You say you are from NIST?
A Compositional approach to complex systems
Engineering a collective computer
ZX-calculus at Quantinuum and in quantum industry We give an overview of the recent developments and many uses of ZX-calculus in quantum industry, spanning compilation, education, publication, error-correction, and in particular the use in photonic quantum computing, which, in fact, is the origin of ZX-calculus.
Conexus AI: an overview In this talk we describe the past, present, and future of Conexus AI, summarizing how we understand databases as co-presheaves and giving an overview of the kind of data-integration-related category theory we perform for clients.
Compositional economic modeling At 20squares we do composable economic modelling. We rely on our own software framework that is based on compositional game theory. In this presentation we will discuss the role of compositionality in our approach and what it takes to bring abstract nonsense to the market.