07 Aug 25

Scientists and engineers use diagrams of networks in many different ways. Together with many collaborators I am studying networks with the tools of modern mathematics, such as category theory. You can read blog articles, papers and a book about our research. I am collaborating with the Topos Institute to use the resulting math for scientific computation, such as quickly adaptable models of infectious disease.

Collection of notes on the intersection of networks and categories by one of the contemporary GOATs of category theory.

by kawcco 6 months ago

23 Jul 25

Although we at the Topos Institute spend much of our days applying category theory, underlying our activities is a philosophy around the activity of science and engineering that is not explicitly category-theoretic in nature. In this blog post, we lay out some of the core ideas of this philosophy, and tie them in to current and future research developments at Topos.

by kawcco 6 months ago