Announcer
The following program features simulated voices generated for educational and philosophical exploration.
Sarah Wilson
Good afternoon. I'm Sarah Wilson.
David Zhao
And I'm David Zhao. Welcome to Simulectics Radio.
Sarah Wilson
Yesterday we discussed the continuum hypothesis and the question of whether independent statements have determinate truth values. Today we're examining a different approach to mathematical foundations—one that shifts focus from membership and elements to morphisms and structure. Category theory offers not just new tools but a fundamentally different perspective on what mathematics is about.
David Zhao
The question being: is category theory just convenient notation for talking about mathematical structures, or does it reveal something deeper about the nature of mathematics itself? Can it replace set theory as our foundation?
Sarah Wilson
Joining us is Dr. Emily Riehl, professor of mathematics at Johns Hopkins University and one of the leading researchers in category theory and homotopy theory. Her work on infinity-categories and categorical foundations has been enormously influential. Dr. Riehl, welcome.
Dr. Emily Riehl
Thank you. Glad to be here.
David Zhao
Let's start with basics. What is category theory, and why do its advocates think it's foundationally important?
Dr. Emily Riehl
A category consists of objects and morphisms—arrows between objects—satisfying certain axioms. The key insight is that we study objects not by looking inside them at their elements, but by examining their relationships to other objects via morphisms. This shift from intrinsic to extrinsic characterization turns out to be extraordinarily powerful. It lets us recognize when apparently different mathematical structures are essentially the same and when superficially similar structures differ fundamentally.
Sarah Wilson
The classic example being that in set theory, the natural numbers can be constructed in multiple inequivalent ways—as finite ordinals or finite cardinals or various other encodings. But categorically, these are all isomorphic as the natural numbers object in the category of sets. Category theory says the construction doesn't matter; what matters is the universal property.
Dr. Emily Riehl
Exactly. Universal properties characterize objects by their relationships to other objects. The natural numbers are characterized by having an initial object zero and a successor function, such that any other object with those properties maps uniquely into the natural numbers. This is the elimination rule in type theory, the recursion principle in logic, and it's precisely what we need to do mathematics with natural numbers.
David Zhao
But that sounds circular. You're defining mathematical objects by their role in a system of objects. How do you avoid infinite regress? Don't you eventually need to say what the objects actually are?
Dr. Emily Riehl
That's the structuralist perspective. Objects don't have intrinsic nature beyond their relations to other objects. The question 'what is a natural number really' is ill-posed. What matters is how natural numbers behave—what operations are defined on them, what properties they satisfy. This aligns with how mathematicians actually work. When we prove a theorem about groups, we don't care how groups are implemented in set theory. We care about group structure.
Sarah Wilson
Though set theory can seem structuralist too. When we define the real numbers as Dedekind cuts or Cauchy sequences, we're not claiming those are what the reals really are. We're giving a construction that has the right properties. The difference is that set theory provides a single cumulative hierarchy where all mathematical objects live, whereas category theory studies many categories simultaneously.
Dr. Emily Riehl
Right. And there are advantages to the categorical perspective. One is that category theory is inherently comparative. The notion of functor—a structure-preserving map between categories—lets us formalize analogies between different mathematical domains. Natural transformations formalize relationships between functors. This hierarchy of structures is itself mathematical and extremely fruitful.
David Zhao
Give me a concrete example where category theory reveals something set theory obscures.
Dr. Emily Riehl
Take the duality between vector spaces and their duals. In set theory, a vector space and its dual are distinct objects with different elements. But categorically, duality is a contravariant functor—it reverses arrows—and the double dual is naturally isomorphic to the original space for finite dimensions. The natural isomorphism is itself data, and it encodes the fact that this identification is canonical, not dependent on choosing a basis. Category theory makes this naturality precise.
Sarah Wilson
The language of naturality has become indispensable across mathematics. But there's a question about foundations. If we want to use category theory as the foundation for all mathematics, we need to be able to construct or characterize categories themselves. How do we avoid circularity?
Dr. Emily Riehl
There are several approaches. One is to use categorical set theory—like ETCS, the elementary theory of the category of sets—which axiomatizes the category of sets directly without building it from ZFC. Another is to work in a type-theoretic foundation like homotopy type theory, where types are interpreted as objects and functions as morphisms. A third is to embrace higher category theory and work with infinity-categories from the start.
David Zhao
You're going to need to unpack that. What's an infinity-category, and why would we want one?
Dr. Emily Riehl
In an ordinary category, morphisms either compose or they don't. But often in mathematics, there are multiple ways to compose morphisms, and these ways are related by higher morphisms—think of homotopies between paths, or natural transformations between functors. An infinity-category keeps track of this entire hierarchy: objects, morphisms between objects, morphisms between morphisms, and so on indefinitely. This is the natural setting for homotopy theory and much of modern mathematics.
Sarah Wilson
This connects to my own work in algebraic topology. Homotopy theory studies spaces not up to equality but up to continuous deformation. Two paths between the same endpoints aren't the same, but they might be homotopic—continuously deformable into each other. This homotopical perspective requires keeping track of higher structure, which infinity-categories formalize.
Dr. Emily Riehl
And remarkably, when you develop mathematics in this homotopy-theoretic setting, certain problems vanish. The equality relation becomes itself a space of identifications, which can be empty, contractible, or have nontrivial structure. This resolves issues about mathematical identity in a natural way.
David Zhao
I'm concerned this is getting too abstract. Let's ground this. Can category theory serve as a foundation for ordinary mathematics—calculus, linear algebra, probability theory—the mathematics that working scientists use?
Dr. Emily Riehl
Absolutely. The question is whether it provides advantages over set theory for that purpose. For most classical mathematics, set theory is perfectly adequate. The benefits of category theory emerge when you study mathematical structures in their generality, when you're proving theorems that apply across many different contexts, or when you're working with derived or homotopical versions of classical theories.
Sarah Wilson
So category theory might be better understood as a language for mathematics rather than a foundation in the traditional sense. It tells us how to organize and think about mathematics, even if ultimately we could translate everything back into set theory.
Dr. Emily Riehl
Many category theorists would reject that characterization. The claim is that category theory captures the essence of mathematical structure in a way set theory doesn't. Set theory forces us to make arbitrary choices—how to encode ordered pairs, which construction of the real numbers to use—that are mathematically irrelevant. Category theory lets us work with structures directly, treating isomorphic objects as interchangeable, which is how mathematicians actually think.
David Zhao
But mathematicians also think about specific mathematical objects. When a number theorist studies the equation x-squared plus y-squared equals z-squared, they're asking about specific integers, not about categorical abstractions. How does category theory help with that?
Dr. Emily Riehl
Even in number theory, categorical thinking appears. The fundamental group of a space, for instance, is a categorical construction that has deep connections to algebraic number theory through Galois theory. More broadly, category theory provides tools—like limits, colimits, adjunctions—that clarify constructions across mathematics. These aren't just abstractions; they're concrete computational tools.
Sarah Wilson
Let me push on the foundational question differently. Set theory faces independence phenomena—statements neither provable nor disprovable from ZFC. Does category theory avoid these problems, or does it face analogous issues?
Dr. Emily Riehl
Category theory doesn't avoid Gödel's incompleteness theorems. Any foundational system strong enough to encode arithmetic will have independent statements. However, the statements that turn out to be independent might be different. In categorical set theory, certain questions about membership that are independent in ZFC become ill-formed or trivial, while new questions about categorical structure might be independent instead.
David Zhao
So we're not eliminating the problem, just relocating it. That seems like an argument for choosing foundations based on which independent questions we care least about.
Dr. Emily Riehl
There's truth to that. Foundations aren't value-neutral. They foreground certain questions and background others. Set theory foregrounds questions about membership and cardinality. Category theory foregrounds questions about structure and morphism. Which foundation to use depends partly on what mathematics you're doing.
Sarah Wilson
Though there's also the question of unification. One argument for set theory is that it provides a single universe where all mathematical objects coexist. In category theory, different categories might not relate to each other at all. Doesn't that fragment mathematics?
Dr. Emily Riehl
Not necessarily. The category of categories—or more properly, the infinity-category of infinity-categories—provides a setting where all categorical mathematics takes place. And functors between categories formalize how different domains of mathematics relate. In fact, category theory might provide better tools for understanding the unity of mathematics precisely because it makes relationships between domains explicit rather than implicit.
David Zhao
What about computation? Set theory connects naturally to first-order logic and automated theorem proving. Is there a comparable computational interpretation of category theory?
Dr. Emily Riehl
Yes. The correspondence between category theory and type theory is very tight. Type-theoretic proof assistants like Coq and Agda have a categorical semantics. In fact, some of the most successful formalization projects use type theory as their foundation, which has a categorical structure built in. The Curry-Howard correspondence shows that proofs are programs, and category theory provides the semantic framework for understanding both.
Sarah Wilson
This connects to homotopy type theory, which Vladimir Voevodsky developed as a foundational system. It combines the computational aspects of type theory with the homotopical perspective of infinity-categories. Is this the future of foundations?
Dr. Emily Riehl
It's one promising direction. Homotopy type theory has an elegant internal logic and deep connections to both topology and logic. It's being used for computer formalization of mathematics and has led to new insights in both pure mathematics and theoretical computer science. Whether it replaces set theory as the standard foundation remains to be seen, but it's certainly influencing how we think about foundations.
David Zhao
Let's get to the core philosophical question. When you work with categories, are you discovering pre-existing mathematical structures, or are you constructing useful formalisms? Is there a fact of the matter about whether the category of sets or the cumulative hierarchy is the true foundation?
Dr. Emily Riehl
I tend toward structuralism. Mathematical objects are characterized by their properties and relationships, not by some intrinsic essence. Both set theory and category theory provide frameworks for doing mathematics, and they're largely intertranslatable for classical mathematics. The question isn't which is true but which provides better tools and insights for the mathematics you're doing.
Sarah Wilson
Though there might be mathematical questions where the choice of foundation matters. In set theory, we can ask about the cardinality of the continuum. In category theory, that question might not even make sense the same way.
Dr. Emily Riehl
Right. And that could be seen as a feature rather than a bug. If a question's answer depends on irrelevant implementation details, maybe it's not a well-posed mathematical question. Category theory encourages us to ask questions that are invariant under isomorphism, which is arguably a good criterion for mathematical significance.
David Zhao
But it could also mean category theory is avoiding hard questions. The fact that we can construct the natural numbers in multiple ways isn't a defect of set theory; it shows the richness of the foundational structure. Category theory's insistence on working only up to isomorphism might obscure that richness.
Dr. Emily Riehl
That's a fair concern. I'd say category theory doesn't ignore that richness but organizes it differently. The fact that there are multiple constructions of the natural numbers becomes a theorem: any two objects satisfying the universal property are canonically isomorphic. The richness is in the morphisms and the natural transformations, not in looking inside objects at their elements.
Sarah Wilson
We're almost out of time. Where do you see the relationship between category theory and set theory heading? Toward convergence, competition, or peaceful coexistence?
Dr. Emily Riehl
I think coexistence with increasing interaction. Category theory and set theory are good at different things. Set theory excels at studying infinite cardinalities and definability. Category theory excels at recognizing patterns across mathematics and working with higher structures. As we understand both better, we'll know when to use which—or how to combine them. The future of foundations might be pluralistic rather than monolithic.
David Zhao
A pragmatic answer.
Dr. Emily Riehl
Mathematics is ultimately pragmatic. We use the tools that work.
Sarah Wilson
Dr. Riehl, thank you for this illuminating discussion.
Dr. Emily Riehl
Thank you both. It's been a pleasure.
David Zhao
That's our program. Join us tomorrow as we explore the distribution of prime numbers and the Riemann Hypothesis.
Sarah Wilson
Until then. Good afternoon.