How can there be alternatives for the foundations of mathematics?

How can set theory and category theory both be plausible theories for the foundations of mathematics? If these two theories are not mathematically equivalent, does it not mean that the rest of mathematics, when taken exclusively with either of these two theories as foundation, will be distinct; that is, unless these two theories are, in some way, equivalent.

Thanks

Solution 1:

There are two ways to answer your question:

• what does foundation mean? The two areas address 'foundation' from different perspectives. Set theory (and logic) are attempts at foundations of mathematical knowledge about how we can know mathematical truths - how do you know that a theorem is 'true' (and what does true mean) ? (set theory does this by allowing a translation from your favorite branch of mathematics to sets, and then formalizing the inference operations on just the set objects; everything can be converted to a set)

Category theory is a foundations for -what- we know about mathematics - what similarities/commonalities are among disparate areas of mathematics. Take your favorite brach of mathematics, define some objects and some suitable functions and then you get all sorts of theorems for free (everything can be viewed through the 'category' lens. everything is a category)

Of course you can use one of these for the other (give a -logical- foundation of category theory, e.g. the objects and morphisms are implemented with sets; give a -categorical- foundation for set theory/logic, e.g. one can have a category of 'set' with 'functions' as the morphisms).

• as to your title, how can there be more than one foundation at all, even of the same kind?There can certainly be more than one truth foundation (intuitionistic, constructivist, allowing different set axioms, different rules of inference, ZFC, NBG, etc.) each allowing desired features and disallowing unwanted features. And there have been many unification foundations (set theory can be viewed as one (just sets as the things that can be manipulated), group theory, algebra as a whole (symbolic manipulation), just category theory is the latest and best unification.

Solution 2:

I'm learning about some of this right now! As far as I know, you already need quite a lot of set theory to say topos. An (elementary) topos is is a category closed under a lot of common constructions.

These topos gadgets also have an internal logic (usually intuisionistic), and given for instance a natural number object you can perform many of the well-known constructions of mathematics, such as those of the real numbers (here the Cauchy and Dedekind reals may be different). This is what we do in the topos of sets!

An elementary topos $E$, by the way, is a cartesian closed category (which means it has a terminal object $1$, products, exponentiation, and an adjunction between the two, i.e. $\hom_E(X\times Y,Z)\cong\hom_E(X,Z^Y)$) with a subobject classifier $\Omega$ together with a morphism $\top:1\to\Omega$ called true, such that any monic $f:Y\to X$ is the pullback of a unique morphism $\chi(f):Y\to\Omega$. We also require pullbacks along $\top$ to exist. It follows that $E$ has finite limits and colimits, and that the subobject functor $Sub:E\to Set$ is represented by $\Omega$ (i.e. $Sub(-)\cong\hom(-,\Omega)$).