Research articles, statements of vision, and more
After 97 days and 96 merged pull requests, CatColab has gone from v0.4: Robin to v0.5: Sandpiper. In this post I’ll walk through some of the main additions, changes, and fixes.
Topos was recently mentioned in a post in Quanta about applications of category theory. Click through for a link to the full article.
One particular use of formal categorical models is for exposition and learning. Indeed, the act of creating one can be a useful exercise for exposing implicit assumptions. In this post, we walk through the process of creating a diagrammatic representation of a system of ODEs and highlight the…
This summer at the Topos Institute, under the supervision of Dr. Sophie Libkind, I studied the composition of attractors. The project itself started earlier with my advisor, Dr. William Kalies, who asked me the following question: how do attractor lattices behave when we combine dynamical systems?…
Since our last blog post about CatColab, we’ve had two releases, meaning we’re now at v0.4: Robin. This brings a few major new features, including compositional notebooks and novel analyses for Petri nets.
Come spend the summer at the Topos Institute! For early-career researchers, we’re excited to open up applications for our 2026 Summer Research Associate program.
An introduction to endofunctors on Set. Algebras and coalgebras of endofunctors model basic objects of study in mathematics, computer science, and logic. This post explains how to interpret algebras and coalgebras of endofunctors on Set as sets equipped with operations or “co-operations”. We also…
Working as a mathematician at Topos means that I spend a lot of time hearing about double categories these days, which are not something that I have much previous familiarity with. In fact, they come up in two seemingly different ways in Topos’ work at the moment: double theories, and double…
Topos UK is hiring for a Director of Operations. What does this mean? Read more to find out.
This blog post provides an overview of the work I had done with José Siqueira this summer. Inspired by the free Boolean/Heyting algebra of a given set, we develop a free-forgetful adjunction between posets and PLTL temporal algebras, where PLTL denotes propositional linear temporal logic. We…
Working in the general setting of adhesive categories, we derive a practical algorithm for incrementally updating a query’s results with respect to small changes in the object being queried.
How we can think about pushouts as applying rules via substitution, featuring examples in categorical databases and Datalog.
Nate Osgood, together with 4 students from the Computational Epidemiology and Public Health Informatics Lab in Saskatoon, Canada, recently ran a community group model building event focusing on the drivers for homelessness in their city. This post describes the event, and the next steps that they…
In this blog post, I’ll reformulate Ingo Blechschmidt’s “synthetic quasi-coherence” axiom — or more precisely his “general nullstellensatz” — as a lifting property inspired by Ivan Di Liberti’s work on coherent toposes and ultrastructures. This lifting property shows that synthetic…
Another year, another cohort of wonderful Summer Research Associates (RAs) at Topos working on exciting projects. As is now the custom, we’ve asked each of them to introduce themselves and write a little bit about what they’ll be working on over the summer, with more detailed blog posts from each…
This is a shortened version of an essay I wrote last month for the Cosmos Ventures fellowship. Cosmos is about grappling with how more sophisticated philosophical thinking can help us adapt to advancing AI technologies. I hope you like it!
Next week we’re co-hosting an in-person seminar talk in Oxford. This post contains the mailing announcement.
In this blog post we consider the practical tradition of Euclid’s elements, in contrast to its more familiar role as a model of axioms and proof. Inspired by that tradition and combining it with the notion of wiring diagrams we propose an abstract model to think about and problem solve issues of…
Technologies don’t just solve problems, they change us. We invent technologies, and they invent us in turn, shaping our lives and worlds. This is the phenomenon that Terry Winograd and Fernando Flores, in Understanding Computers and Cognition (1986), called “ontological design.” It matters now…
New concepts must be explained to be understood, yet we rarely invest sufficient effort in clarifying them. While explanations demand time and care, this investment is essential, because without it, ideas remain opaque, inaccessible, and dormant. Today we see that the pace of explanation…
Brendan recently spoke with Eric Gilliam and the interview resulted in a blog post on Eric’s blog.
Here, my goal is to introduce my research interests and offer some exposition on how they came to be. Libraries are troves of information, but they also include the systems that help people make use of the information inside them. We should consider rethinking the library and ensure it includes…
Today we’re excited to announce the first alpha release of CatColab 0.2: Wren. CatColab is software for making models of the world together.
In this post, I summarize the work I conducted over the summer of 2024 at the Topos Institute, together with David Spivak, wherein we have aimed to extend, refine, and generalize the treatment of models of type theory in terms of polynomial functors via the concept of polynomial universes. We…
In this post, we suggest a way to use observational bridge types (as in the Narya proof assistant) for structure aware version control.
Come spend the summer at the Topos Institute! For early-career researchers, we’re excited to open up applications for our 2025 Summer Research Associate program.
In our recent paper, “Dynamic task delegation for hierarchical agents”, Sophie Libkind and I described a task delegation from an agent to a team of subordinates as morphisms in a certain operad called \mathbb{O}\mathbf{rg}_{\mathfrak{m}}. However, such morphisms include a great deal of data, and…
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…
What is the right math to capture our concepts which don’t have formal definitions? Recent work in philosophy of language clarifies the relationship between logic and good reasoning, with consequences for science, applied math, and AI. In this post we will introduce logical expressivism, its…
Today we’re excited to announce the first pre-alpha release of our new software CatColab 0.1: Hummingbird. CatColab is software for making models of the world together.
In August, Brendan and I attended the American Institute of Mathematics workshop “Open source mathematics curriculum and assessment tools”, hosted by Maseno University in Kisumu, Kenya. The workshop was a fantastic opportunity to meet new specialists in a variety of domains and hear about what…
Topos is opening its doors in Oxford, UK, and is inviting applications for two postdoctoral researchers to come work with us on one of our first projects.
Each of us can see problems in our world or our community, cases where something we care about is in need of attention. At the same time, technology is vastly increasing our ability to spread and collectively consider diverse ideas. In this post, I imagine a future world in which people use new…
Operad algebras are a known tool for the composition of dynamical systems, but what happens when we have a machine where the output of the machine also depends on the input into it? In this post, we give background on how we want to extend the operad of directed wiring diagrams to the operad of…
One of the things I do at Topos is make sense of some aspect of the world by articulating it in mathematics. Follow along as I make sense of Bayesian update using the mathematics of polynomial functors.
Can we build a tradition of math talks which invites the audience to engage not only with the speaker but also with each other? That is, a seminar that starts as a lecture and ends as a conversation. In this post, Sophie and Priyaa discuss how such a seminar might look based on previous…
Another year, another cohort of wonderful Summer Research Associates (RAs) at Topos working on exciting projects. As is now the custom, we’ve asked each of them to introduce themselves and write a little bit about what they’ll be working on over the summer. You can expect to see some blog posts…
In the third post of this series about Relational Thinking: from abstractions to applications, we look at the story-telling approach that we took in writing the book.
In the second post of this series about Relational Thinking: from abstractions to applications, we look at the technologies used to build the book.
In the first post of this series, we introduce the freely available online book Relational Thinking: from abstractions to applications, starting with the story of how it came into being and giving a brief overview of its contents.
Prof Gioele Zardini will be teaching a new course on Applied Category Theory for Engineering Design (ACT4ED) this Fall. Here’s a teaser video outline the key challenges in engineering systems design we aim to address with applied category theory.
We’ve launched a collaboration with Chapman University to explore joint research projects and expand our role mentoring and teaching the next generation of technologists working in the public interest. Each year, many people reach out to ask how they might pursue doctoral studies with our…
When we do math about things we care about, committing to which mathematics represents which intuitions moves us forward.
UMAP is a dimension-reduction method that has become very popular, especially in many areas of biology. Recently, a certain figure produced by UMAP has been circulated online to support spurious conclusions about “genetic racial groups”, or, to put it more bluntly, to support scientific racism. In…
Polynomial functors are a prime example of mathematics’ startling capacity to yield deep formal insights and real-world applications from the simplest ingredients. The category of polynomial functors (Poly) offers an abundance of elegant theory linked with computational design patterns that span…
Sam Staton, Paolo Perrone and I organized a small meeting between Topos Institute and the Oxford CS department. It was kind of like a workshop, but because of the short time frame that we planned it on and limited funding, we didn’t invite all the people we’d like to invite or have it open to…
In December 2023, Topos partnered with the Government of Singapore to host the inaugural Singapore Conference on AI for the Global Good (SCAI). An international, cross-sectoral meeting of leaders, SCAI focussed efforts on AI for the global good through the joint writing of 12 foundational yet…
An interesting analogy between algebras over a ring and promonads on a category is formalized using the apparatus of double theories.
Physical systems are often composed of many interacting subsystems. In this post, we take a peek at the math and the software implementation for composing systems of springs using decorated cospans.
The beginning of a series of posts answering the question “why double categories?”. Our first answer is that double categories give the algebra of relations from universal properties.
In our day-to-day lives, we all interact with many systems where the structure of the system changes based on external or internal factors. How do we make sense of structures that can change in this way? In mathematics, we often assume the structure we’re working with is “fixed” to some extent…
In computer science, programmers often perform effects to interact with the surrounding environment. For example, a program may print strings or interact with mutable state. Then, effects may be handled, implemented in terms of other effects. In this post, we reconstruct a categorical semantics…
An exposition of a philosophical argument about how words connect with their meanings, and a tentative connection to work done at Topos.
Not all meals created from the same recipe are equally delicious. Not all programs that accurately sort a list are equally useful. High-level specifications, such as a recipe or a prompt, are only practical because I trust the chef or engineer to execute them in a way that aligns with my values…
This summer I created the StatisticalTheories.jl package so we can do categorical probability and synthesize probabilistic programs in the AlgebraicJulia ecosystem. Read all about it!
John Baez is now helping lead a new Fields Institute program on the mathematics of climate change.
Congratulations to Angeline Aguinaldo, Evan Patterson, and their collaborators James Fairbanks, William Regli, and Jaime Ruiz at the University of Florida and the University of Maryland, College Park for winning Best Paper Award at the 2023 AAAI Fall Symposium on Unifying Representations for Robot…
Announcing the first version of InterTypes: a package for cross-language serialization for ADTs and ACSets
Our physical world is incredibly complex. Surviving life is a lot about problem-solving, be it waking up in morning and finding your way to the bathroom or solving a math problem for research. We constantly abstract information back and forth from the physical plane to our mental plane for solving…
A Lie group G is a group object in the category of manifolds; that is, it’s a smooth space equipped with a special point e:G and a multiplication operation G\times G\to G. Every manifold M has a cotangent bundle T^*M\to M, and this can be made into a polynomial functor t^*_M. In this…
Retrotransformations between lax double functors are introduced as the “multi-object” analogue of a cofunctor between categories. Notions of “monoidal cofunctor” between monoidal categories and of “multicofunctor” between multicategories are then derived as special cases.
Cartesian double theories are a new framework for doctrines based on double-categorical functorial semantics.
Topos Institute is proud to have ushered in another cohort of research associates (RAs) this summer! Each early career researcher made a positive impact on both the science and culture at Topos, through which their legacies live on. We hope that the collaboration was reciprocal, empowering them to…
Many of our favorite monads on \mathbf{Set}, such as the Maybe monad and the List monad, are polynomial. It turns out that monads have special “powers” in \mathbf{Poly}.
The category \mathbf{Poly} is cartesian closed, and in particular, we can raise one polynomial q to the “power” of…
Categorifying the observation that monoids are generalized elements of multicategories, we show that unbiased pseudomonoids, such as unbiased monoidal categories, are “pseudo-elements” of 2-multicategories.
There are at least two interesting kinds of maps between bundles: “forward-forward” maps and “forward-backward” maps. That is, both kinds go forward on the base, but the first kind also goes forward on the fibers, whereas the second kind goes backwards on the fibers. In a paper with David Jaz…
This post is a dialogue and consists of two parts. In the first part, Bartłomiej Skowron and David Spivak consider what mathematics and ethics have in common. Though some will think these notions have nothing in common, these authors share the intuition that the opposite is true. In particular…
Rewrite rules are organized via a graphical syntax into discrete-time simulations which can be understood as agent-based models. This representation is transparent, compositional, and serializable.
We’re delighted to announce that Shaowei Lin has joined Topos as our new Director of Research.
Acsets are great, but what if attributes could be variables?
There are surprisingly deep connections between algebraic geometry and statistical learning theory, which have been explored over the past few decades by Sumio Watanabe in Singular Learning Theory. This body of work is highly relevant to the problem of understanding the behaviour of large…
In this post, we lay out a vision and challenge for using category theory to build tools for understanding systems at a global scope.
Polynomial comonads can be identified with categories, but the morphisms between them are not functors; they’re called cofunctors. There is a reasonable notion of natural transformation between cofunctors, but I always found remembering how it goes to be a slog. Recently I realized that they have…
Xiaoyan Li, Sophie Libkind, Nathaniel D. Osgood, Eric Redekopp and I have been creating software for modeling the spread of disease… with the help of category theory! Lots of epidemiologists use “stock-flow diagrams” to describe ordinary differential equation (ODE) models of disease dynamics.…
A follow-up to “Algebraic Geometry for the Working Programmer”, this post explains a category-theoretic approach to symbolic open dynamical systems.
The behavior of a dynamical system is its entire fate or character: the tree consisting of precisely what it will do when exposed to any particular sequence of inputs. In the world of polynomial functors, behavior for a dynamical system with interface p is formalized using the cofree comonad…
Rewriting theory studies rules for turning things into other things. Typically, one considers various types of graph, and looks at rewriting rules that have a form like this: “whenever you see a subgraph shaped like I, replace it with one shaped like O, using the common subgraph K to attach it”.…
Category theory has been applied fruitfully to functional programming for decades, leading some to think that functional programming represents the one true way of doing math on a computer. However, the stubborn fact that the internals of computers and the world itself are both stateful means that…
Having first heard about theorems on fixed points as an undergraduate, uses for them came into my research on many subsequent occasions. The talk will review some personal history and give some suggestions for possible further applications.
In this series of posts, we investigate the duality between algebra and geometry in order to develop new types of lenses. In this first post, we review some basic ideas about algebraic geometry that will be needed in the coming posts.
Many category theorists have heard of the distributions monad \mathsf{dist}\colon\mathbf{Set}\to\mathbf{Set}, which sends a set X to the set of finitely supported probability distributions on X. Many have also heard of the operad \Delta of simplices, for which an n-ary operation is a…
The theory of structured cospans is dramatically simplified by the use of double-categorical universal properties. Specifically, we show that structured cospans form a cocartesian equipment, a result that is stronger yet easier to prove than the usual result that they form a symmetric monoidal…
We are finding that self learning is becoming more and more popular when it comes to learning category theory. In a collaborative effort to assist people in this pursuit, Topos will host a category theory outreach panel moderated by Emily Riehl, and featuring Tai-Danae Bradley, Eugenia Cheng, Paul…
This year we’re having the 7th Women in Logic (WiL) Workshop in Rome, associated with FSCD and CADE. Considering that we never had grants to help us defray costs of the workshop, I think getting to our seventh anniversary is a big milestone. Everyone who works for Women in Logic does it for free…
The Topos Institute recently hosted “Finding the Right Abstractions for Healthy Systems”, with 24 researchers, mainly from the applied category theory and AI safety communities. This is a post trying to understand what made it successful and some ideas for similar events.
We are excited to announce a book club for The Joy of Abstraction, a new book by Eugenia Cheng. The Joy of Abstraction is a wonderful introduction to category theory for anyone who wants to get into the formality of the subject but does not necessarily have the mathematical background to read…
There are (colored) operads for all sorts of different flavors of wiring diagrams: those governing monoidal categories, symmetric monoidal categories, traced categories, compact closed categories, hypergraph categories, etc. But all of these operads are in fact more than mere operads: there’s a…
Functional programming languages often include recursive types, allowing programmers to define types satisfying a given isomorphism. Such types cannot all be interpreted as sets, but they can be understood using domain theory. We consolidate and present foundational techniques in domain theory to…
Networked mathematics is one of my main projects at the Topos Institute (the other is Dialectica categories and its extended family of formalisms). We have not had much luck getting the funding agencies to pay attention to it, yet. But the work is progressing, albeit slowly. We have been working…
Have you ever heard of a semi-monad? I hadn’t, but when I came across a “monad without unit” in the wild, I made an analogy with semigroups (a semigroup is a group without unit). It seems others have also thought to use the term semi-monad for such a gadget. There is a semi-monad structure on the…
We invite applications to join Topos Institute as a Research Associate (summer 2023) or as a Research Software Engineer (regular position).
In the first half of the year we had an AMS Mathematical Research Community (MRC) on Applied Category Theory, in Beaver Hollow, NY. An MRC is a bit like a version “on steroids” of the ACT Adjoint School, as there are many more researchers in a research subgroup in the MRC than in a Adjoint School…
Lambda calculus constructs a set of terms starting from a set of variables using operations and rules. If we treat lambda calculus as a programming language, we can consider a model as a way of giving an implementation of lambda calculus. This essentially gives an implementation of a typed…
Topos is a community and an organisation that cares deeply about the public interest, and works to make a world of better systems for all. As part of this, we believe accountability and transparency are crucial. This post is to create transparency around our now declined funding relationship with…
Humans are very good at recognizing the words they do not know, the concepts they haven’t met yet. To help with these they invented dictionaries, glossaries, encyclopedias, wikipedias, crib sheets, etc. Initially, they did it via laborious manual work, more recently through automated…
Etymologically, the word matter comes from mother and the word pattern comes from father. Like two parents, matter and pattern represent a fundamental dichotomy: matter is the pure material, unconcerned with our ideas about it; pattern is pure structure, unconcerned with what substantiates it.…
YouTube is our most powerful outreach tool. Yet how does it shape who we reach out to? And is this in line with the values of our community?
“Cells that fire together, wire together.” This slogan for Hebbian learning evokes a strategy for reorganization in which an individual strengthens their connection with another if they have similar behavior. Here we give a mathematical account of Hebbian learning as a dynamic monoidal category.
This blogpost presents some early-stage, exploratory work on a kind of tool that may be useful for Topos (and other similar institutes!) as it matures as a company. In a nutshell, it is meant to serve as a framework to facilitate accessibility and discussion—internally and externally—of the…
My name is Ted Theodosopoulos and I am a mathematician working at the Nueva School, an independent school for gifted students in San Mateo, California. It was largely as a result of the encouragement that folks at Topos offered me that I decided to propose a workshop on “ACT as a transformative…
The greatest privilege of working at Topos is being part of a community of incredible people. One of these people is Dana Scott. Dana’s research achievements need little introduction: his ideas have changed our understanding of computing and logic, and have been recognised with numerous awards…
Last week our chair Ilyas Khan hosted Lord Rees for a discussion on Ethics, Technology, and Embracing the 21st Century at the Royal Society. The conversation ranged broadly, from the need for public intellectuals; to the limits of science and what we might never know, and the importance of sincere…
Ask most category theory experts what it is, and they’ll launch into a session at a white board that can leave your head spinning. That is, if you are not a card carrying mathematician, as many of us are not. Even at Topos Institute, we have staff, donors, and friends who are not mathematicians.…
In August, Nate Soares visited the Topos Institute. We told him a little about Poly and Proly, and he told us about what he wanted from a type theory. Probably the high point in the discussion for me is when he drew the following picture of what he wanted from a type theory.
It’s breakfast time! You wake up and walk to your kitchen and notice a loaf of bread, a knife, a raw egg (in its shell), a skillet, and a stove burner sitting on the counter. You’re hungry and your preferred state of existence is to, instead, have an egg sandwich sitting on your counter. You are…
After last month’s wonderful ACT conference at University of Strathclyde in Glasgow, David Spivak and I spent some time with Matteo Capucci and Riu Rodriguez Sakamoto talking about how our theory of dynamic monoidal categories can model the non-cooperative strategic games that they study at…
Double categories illustrate that data munging is functorial semantics. This post reviews the functional and relational approaches to ologs and database schemas. Double-categorical ologs are meant to incorporate aspects of each. These should also be viewed as double-categorical database schemas…
We’re exploring a new role at Topos: Director of Research. We’d love to hear from or about anyone who might be interested!
At Topos we’re motivated to build technologies that help us understand the complexity of the systems around us, and to cooperate to improve them, for everyone’s sake. But sometimes good intentions are not quite enough. For example, cooperation requires trust, and we want our technologies to help…
Some say that the objects of mathematics really exist in some Platonic realm, and some say they are fictions in the minds of mathematicians. Either way, it is evident that they cannot be directly grasped with the ordinary five senses. Nobody has ever seen a perfect circle or a natural number.…
In a recent talk, David Spivak, my advisor at Topos Institute, described Poly as “the language of computation”, due to its facility in describing concepts in computer science such as data migration, dependent types, and Turing machines. But is Poly really the language of computation? To address…
Every mathematician I talk to agrees that Poly is an incredibly rich category. How could they not: it’s complete, cocomplete, three orthogonal factorization systems, two monoidal closed structures, its comonoids are categories, etc. And yet there is a common complaint about it, when it comes to…
The Topos Institute is pleased to introduce the 2022 cohort of Summer Research Associates! Each of them brings a unique and meaningful perspective to the Topos team, and we consider ourselves lucky to have the opportunity to engage in this important learning and teaching experience. Education is a…
Like many stories in math, this one is about building bridges: uniting the dialectica categories from Valeria’s 1991 doctoral thesis with David’s work on polynomial functors. I’ve been working with David on polynomial functors for two years now, so when I was placed in Valeria’s team at the AMS’s…
This post presents a video presentation, originally shown to the Topos Board of Directors, about David’s research program over the past 15 years, from 2007 to present.
It’s really amazing to me that comonoids in Poly are categories, and I think it would be cool if more people understood that on a gut level. But explaining it takes more time than people are sometimes prepared to give. So today, I want to explain a much simpler case—one which gives a lot of the…
What makes a good mathematical model? For recent work at Topos, it’s when the model helps people cooperate to achieve collective goals. This has a few implications for how we design modelling software.
When you say “oh, that makes sense” or “no, that doesn’t make sense”, you’re talking about whether or not the story fits together or adds up right. But you may also say “I have a sense of when people are feeling awkward” or “I seem to use my sense of smell more than other people do”. Could it be…
Building on the double Grothendieck construction introduced last time, we explain how decorated cospans are instance of the Grothendieck construction. This perspective suggests a natural generalization of decorated cospans, which we illustrate through several examples.
What is the Grothendieck construction for double categories? We explore one possible answer to this question, based on the perspective that double categories are categories internal to \mathsf{Cat}. In fact, we suggest a general procedure for doing the Grothendieck construction on any structure…
Topos is more than just a collection of researchers: we are a community pioneering a new, international, and interdisciplinary tech organisation. We do this in order to help create a future where the systems around us, large and small, allow every member of society to flourish. While our…
I’m like, “oh man, people always talk about ‘artificial’ this, ‘artificial’ that, but what’s up with that? I mean aren’t we humans part of nature too? Are fish and monkeys natural in some way that we humans are not? Are our products somehow not natural, whereas termite mounds are natural? This…
Last year we started a discussion on the production of mathematics, the pre-industrial kind of process that we all still follow of solving problems and taking the solutions to the market of ideas (conferences, seminars, blog posts, twitter, coffee breaks in the department, etc.) as…
Previously, we surveyed some of the fundamental concepts from our paper on the use of diagrams to present equations from mathematical physics. In this blog post we take a look at how we can enrich our framework, introducing cartesian and symmetric monoidal products in order to be able to express…
Using diagrams to encode equations between physical quantities is something that has become more and more common over the past few decades. To a category theorist, however, the use of such diagrams is not as formal as one would perhaps like. In this new paper, we fix this problem: systematising…
In 2015, Andrea Censi invented a beautiful category-theoretic way to collaboratively and computationally design new things under complex systems of constraints. For example, suppose that a robot is made of a chassis and a motor. Since the motor powers the chassis and the chassis carries the motor…
This year, Topos sponsored a second workshop on polynomial functors. It consisted of 20 talks, spread out over five days (all of which have been recorded and can be found on our YouTube channel) Like last year, the organizers were myself and my friend and colleague Joachim Kock. Two things made…
People have a wide variety of feelings about math: one considers it horrifically painful whereas another considers it exquisitely beautiful. Some see it as the furthest thing from nature, a human construct of black-and-white thinking; others see it as the most natural thing: the enduring forms…
Throughout the past calendar year, Topos Oxford has mostly comprised just two people: Toby St Clere Smithe and myself (Tim Hosgood). Since Berkeley has been the Topos site of initial focus, we’ve been working mostly remotely from the rest of the team. But last week was an exciting one for us all…
World Logic Day is an international day proclaimed by UNESCO in association with the International Council for Philosophy and Human Sciences (CIPSH) in 2019. The idea is to celebrate it on the 14th of January every year. This year we decided to celebrate Logic Day by launching the Women in Logic…
Over the past six months, we’ve conducted interviews across the Topos community, and drafted and re-drafted our 2021–2024 strategic plan, so that we can coordinate effectively around a shared strategy as well as a shared vision. We’d like to share that plan with you all today.
Come spend the summer at the Topos Institute! For early-career researchers, we’re excited to open up applications for our summer research associate program.
We invite applications to join the Topos Institute as a Research Software Engineer, to work on software for compositional data integration and scientific modeling in the Julia programming language.
This month sees a new person joining the team here at Topos: we’re thrilled to welcome Brandon Shapiro! He’s working with David Spivak on the theory and applications of polynomial functors. We asked him to write a short blog post introducing both himself and his mathematics.
There are many reasons people like math; Poly checks all the boxes. My colleague Valeria says our Topos blog posts are often too technical and asked me to write a ‘fluffier’ blog post about Poly, one with a few unicorns and sprinkles. So here goes! Caveat: the author retains the right to…
With a new calendar year comes a new seminar! On the 25th of January, our very own David Spivak will be giving the inaugural talk ("Categorical interaction in the polynomial ecosystem") of the Intercats seminar, and the seminars will then be held every other Tuesday at 17:00 UTC. The Topos…
In this short post, I’ll describe a way of creating new categories from old. It reminds me of a ‘particle filter’ or ‘natural selection’. This method comes from the theory of polynomial functors, but I’ll confine all the technical details to a single section, so you don’t need to know anything…
As this calendar year draws to a close, I asked the members of Topos to each write a little bit about what they’ve worked on this year, how things have gone, and what plans they might have for the future. Here’s what they wrote!
In this post I am going to recount three stories that I’ve been thinking about recently: Cauchy completion, internal lenses, and GZ/zigzag-localisation. The first two of these stories are probably more likely to be familiar to the (applied) category theory audience of this blog than the third. For…
This week, we (David Spivak and Tim Hosgood) uploaded a new paper to the arXiv: “Deep neural networks as nested dynamical systems”. In it, we discuss how to think of both deep neural networks and interacting dynamical systems as some encompassing generalisation, which we call deeply interactive…
Categorical systems theory is the study of the design and analysis of systems using category theory. Category theory is a hopelessly abstract branch of pure mathematics, so abstract that even the other mathematicians refer to it as “abstract nonsense”. Why would anyone want to study such complex…
Topos is hiring! We invite applicants for a one-year postdoc position, from November 2021, to work on a project related to dynamical systems and data using the language of polynomial functors.
In this post, I’ll explain how to use Steve Awodey’s notion of universe to represent the set of polynomials as a certain naturally-derived object in Poly: “Poly inside Poly”. That is, given a universe u there’s an associated polynomial functor w that encodes u-small polynomials, and also…
In this post, we explore the compositionality of thermodynamic systems at equilibrium (thermostatic systems). The main body of this uses no category theory, and reviews the physics of thermostatic systems in a formalism that puts entropy first. Then there is a brief teaser at the end showing how…
Often in applied category theory, we hear about how systems form categories — categories of systems. But what about when the systems are categories? In this lecture, we introduce the idea of enriched categories, taking the point of view that an enriched category is a sort of dynamical system.
The Em-Cats seminar series that was announced a while back is almost about to start! We will be welcoming our first speaker (Jade Master) on Wednesday the 25th of August. Here is some more information about this opening talk.
Recently, we (David Spivak and Tim Hosgood) put a preprint on the arXiv called “Dirichlet polynomials and entropy”, which explains how to recover Shannon entropy from a rig homomorphism involving the weighted geometric mean. In this blog post, we explain the main story, from a slightly different…
We’re excited to welcome our 2021 summer research associates to our Berkeley campus! This summer we have Sophie Libkind, Owen Lynch, David Jaz Myers, and Nelson Niu joining our work on connected intelligence and model-based scientific computing. They bring new exciting energy and ideas, and we’re…
At Topos we believe knowledge empowers people, and that our community’s expertise should be available to all who seek it out. But simple availability is not enough. True access is more than an open door: it’s clear, legible street signs, elevators, and gently sloping on-ramps. And with modern AI…
Although this blog has only just launched, the Topos Institute has been running quite a few public-facing events over the past five months or so, including a workshop and regular seminar series. With even more on the horizon, let’s take a look at what has been, and will be, going on.
The world of polynomial functors often seems so rich that it should contain the whole universe, and there are some tantalizing suggestions that, in fact, it does. Given a dependent type theory, we can follow Steve Awodey and encode its syntax into a “universe polynomial” indexed by the types of…
Welcome to the Topos blog! Here you’ll find news and announcements, statements of our visions and projects at Topos, expository articles on topics of interest to the Topos community, and reports of research in progress.
![The map of mathematics [Source]](2023-01-05-preparing-for-networked-mathematics/map.jpg)
![The cohort of Em-Cats speakers and their talk titles/topics. [PDF]](2021-08-24-em-cats-announcement/em-cats-poster.png)
