You are currently browsing the category archive for the ‘Category Theory’ category.
Who doesn’t like self-referential paradoxes? There is something about them that appeals to all and sundry. And, there is also a certain air of mystery associated with them, but when people talk about such paradoxes in a non-technical fashion indiscriminately, especially when dealing with Gödel’s incompleteness theorem, then quite often it gets annoying!
Lawvere in ‘Diagonal Arguments and Cartesian Closed Categories‘ sought, among several things, to demystify the incompleteness theorem. To pique your interest, in a self-commentary on the above paper, he actually has quite a few harsh words, in a manner of speaking.
“The original aim of this article was to demystify the incompleteness theorem of Gödel and the truth-definition theory of Tarski by showing that both are consequences of some very simple algebra in the cartesian-closed setting. It was always hard for many to comprehend how Cantor’s mathematical theorem could be re-christened as a“paradox” by Russell and how Gödel’s theorem could be so often declared to be the most significant result of the 20th century. There was always the suspicion among scientists that such extra-mathematical publicity movements concealed an agenda for re-establishing belief as a substitute for science.”
In the aforesaid paper, Lawvere of course uses the language of category theory – the setting is that of cartesian closed categories – and therefore the technical presentation can easily get out of reach of most people’s heads – including myself. Thankfully, Noson S. Yanofsky has written a nice paper, ‘A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points’, that is a lot more accessible and fun to read as well.Yanofsky employs only the notions of sets and functions, thereby avoiding the language of category theory, to bring out and make accessible as much as possible the content of Lawvere’s paper. Cantor’s theorem, Russell’s Paradox, the non-definability of satisfiability, Tarski’s non-definability of truth and Gödel’s (first) incompleteness theorem are all shown to be paradoxical phenomena that merely result from the existence of a cartesian closed category satisfying certain conditions. The idea is to use a single formalism to describe all these diverse phenomena.
(Dang, I just found that John Baez had already blogged on this before, way back in 2006!)
After a long hiatus, I’d like to renew the discussion of axiomatic categorical set theory, more specifically the Elementary Theory of the Category of Sets (ETCS). Last time I blogged about this, I made some initial forays into “internalizing logic” in ETCS, and described in broad brushstrokes how to use that internal logic to derive a certain amount of the structure one associates with a category of sets. Today I’d like to begin applying some of the results obtained there to the problem of constructing colimits in a category satisfying the ETCS axioms (an ETCS category, for short).
(If you’re just joining us now, and you already know some of the jargon, an ETCS category is a well-pointed topos that satisfies the axiom of choice and with a natural numbers object. We are trying to build up some of the elementary theory of such categories from scratch, with a view toward foundations of mathematics.)
But let’s see — where were we? Since it’s been a while, I was tempted to review the philosophy behind this undertaking (why one would go to all the trouble of setting up a categories-based alternative to ZFC, when time-tested ZFC is able to express virtually all of present-day mathematics on the basis of a reasonably short list of axioms?). But in the interest of time and space, I’ll confine myself to a few remarks.
As we said, a chief difference between ZFC and ETCS resides in how ETCS treats the issue of membership. In ZFC, membership is a global binary relation: we can take any two “sets” and ask whether . Whereas in ETCS, membership is a relation between entities of different sorts: we have “sets” on one side and “elements” on another, and the two are not mixed (e.g., elements are not themselves considered sets).
Further, and far more radical: in ETCS the membership relation is a function, that is, an element “belongs” to only one set at a time. We can think of this as “declaring” how we are thinking of an element, that is, declaring which set (or which type) an element is being considered as belonging to. (In the jargon, ETCS is a typed theory.) This reflects a general and useful philosophic principle: that elements in isolation are considered inessential, that what counts are the aggregates or contexts in which elements are organized and interrelated. For instance, the numeral ‘2’ in isolation has no meaning; what counts is the context in which we think of it (qua rational number or qua complex number, etc.). Similarly the set of real numbers has no real sense in isolation; what counts is which category we view it in.
I believe it is reasonable to grant this principle a foundational status, but: rigorous adherence to this principle completely changes the face of what set theory looks like. If elements “belong” to only one set at a time, how then do we even define such basic concepts as subsets and intersections? These are some of these issues we discussed last time.
There are other significant differences between ZFC and ETCS: stylistically, or in terms of presentation, ZFC is more “top-down” and ETCS is more “bottom-up”. For example, in ZFC, one can pretty much define a subset by writing down a first-order formula in the language; the comprehension (or separation) axiom scheme is a mighty sledgehammer that takes care of the rest. In the axioms of ETCS, there is no such sledgehammer: the closest thing one has to a comprehension scheme in the ETCS axioms is the power set axiom (a single axiom, not an axiom scheme). However, in the formal development of ETCS, one derives a comprehension scheme as one manually constructs the internal logic, in stages, using the simple tools of adjunctions and universal properties. We started doing some of that in our last post. So: with ZFC it’s more as if you can just hop in the car and go; with ETCS you build the car engine from smaller parts with your bare hands, but in the process you become an expert mechanic, and are not so rigidly attached to a particular make and model (e.g., much of the theory is built just on the axioms of a topos, which allows a lot more semantic leeway than one has with ZF).
But, in all fairness, that is perhaps the biggest obstacle to learning ETCS: at the outset, the tools available [mainly, the idea of a universal property] are quite simple but parsimonious, and one has to learn how to build some set-theoretic and logical concepts normally taken as “obvious” from the ground up. (Talk about “foundations”!) On the plus side, by building big logical machines from scratch, one gains a great deal of insight into the inner workings of logic, with a corresponding gain in precision and control and modularity when one would like to use these developments to design, say, automated deduction systems (where there tend to be strong advantages to using type-theoretic frameworks).
Enough philosophy for now; readers may refer to my earlier posts for more. Let’s get to work, shall we? Our last post was about the structure of (and relationships between) posets of subobjects relative to objects , and now we want to exploit the results there to build some absolute constructions, in particular finite coproducts and coequalizers. In this post we will focus on coproducts.
Note to the experts: Most textbook treatments of the formal development of topos theory (as for example Mac Lane-Moerdijk) are efficient but highly technical, involving for instance the slice theorem for toposes and, in the construction of colimits, recourse to Beck’s theorem in monad theory applied to the double power-set monad [following the elegant construction of Paré]. The very abstract nature of this style of argumentation (which in the application of Beck’s theorem expresses ideas of fourth-order set theory and higher) is no doubt partly responsible for the somewhat fearsome reputation of topos theory.
In these notes I take a much less efficient but much more elementary approach, based on an arrangement of ideas which I hope can be seen as “natural” from the point of view of naive set theory. I learned of this approach from Myles Tierney, who was my PhD supervisor, and who with Bill Lawvere co-founded elementary topos theory, but I am not aware of any place where the details of this approach have been written up before now. I should also mention that the approach taken here is not as “purist” as many topos theorists might want; for example, here and there I take advantage of the strong extensionality axiom of ETCS to simplify some arguments.
The Empty Set and Two-Valued Logic
We begin with the easy observation that a terminal category, i.e., a category with just one object and one morphism (the identity), satisfies all the ETCS axioms. Ditto for any category equivalent to (where every object is terminal). Such boring ETCS categories are called degenerate; obviously our interest is in the structure of nondegenerate ETCS categories.
Let be an ETCS category (see here for the ETCS axioms). Objects of are generally called “sets”, and morphisms are generally called “functions” or “maps”.
Proposition 0: If an ETCS category is a preorder, then is degenerate.
Proof: Recall that a preorder is a category in which there is at most one morphism for any two objects . Every morphism in a preorder is vacuously monic. If there is a nonterminal set , then the monic to any terminal set defines a subset distinct from the subset defined by , thus giving (in an ETCS category) distinct classifying maps , contradicting the preorder assumption. Therefore all objects are terminal.
Assume from now on that is a nondegenerate ETCS category.
Proposition 1: There are at least two truth values, i.e., two elements , in .
Proof: By proposition 0, there exist sets and two distinct functions . By the axiom of strong extensionality, there exists such that . The equalizer of the pair is then a proper subset of , and therefore there are at least two distinct elements .
Proposition 2: There are at most two truth values ; equivalently, there are at most two subsets of .
Proof: If are distinct subsets of , then either or , say the former. Then and are distinct subsets, with distinct classifying maps . By strong extensionality, there exists distinguishing these classifying maps. Because is terminal, we then infer and , so as subsets of , and in that case only can be a proper subset of .
By propositions 1 and 2, there is a unique proper subset of the terminal object . Let denote this subset. Its domain may be called an “empty set”; by the preceding proposition, it has no proper subsets. The classifying map of is the truth value we call “false”.
Proposition 3: 0 is an initial object, i.e., for any there exists a unique function .
Proof: Uniqueness: if are maps, then their equalizer , which is monic, must be an isomorphism since 0 has no proper subsets. Therefore . Existence: there are monos
where is “global truth” (classifying the subset ) on and is the “singleton mapping ” on , defined as the classifying map of the diagonal map (last time we saw is monic). Take their pullback. The component of the pullback parallel to is a mono which again is an isomorphism, whence we get a map using the other component of the pullback.
Remark: For the “purists”, an alternative construction of the initial set 0 that avoids use of the strong extensionality axiom is to define the subset to be “the intersection all subsets of “. Formally, one takes the extension of the map
where the first arrow represents the class of all subsets of , and the second is the internal intersection operator defined at the end of our last post. Using formal properties of intersection developed later, this intersection has no proper subsets, and then the proof of proposition 3 carries over verbatim.
Corollary 1: For any , the set is initial.
Proof: By cartesian closure, maps are in bijection with maps of the form , and there is exactly one of these since 0 is initial.
Corollary 2: If there exists , then is initial.
Proof: The composite of followed by is , and followed by is also an identity since is initial by corollary 1. Hence is isomorphic to an initial object .
By corollary 2, for any object the arrow is vacuously monic, hence defines a subset.
Proposition 4: If , then there exists an element .
Proof: Under the assumption, has at least two distinct subsets: and . By strong extensionality, their classifying maps are distinguished by some element .
External Unions and Internal Joins
One of the major goals in this post is to construct finite coproducts in an ETCS category. As in ordinary set theory, we will construct these as disjoint unions. This means we need to discuss unions first; as should be expected by now, in ETCS unions are considered locally, i.e., we take unions of subsets of a given set. So, let be subsets.
To define the union , the idea is to take the intersection of all subsets containing and . That is, we apply the internal intersection operator (constructed last time),
to the element that represents the set of all subsets of containing and ; the resulting element represents . The element corresponds to the intersection of two subsets
Remark: Remember that in ETCS we are using generalized elements: really means a function over some domain , which in turn classifies a subset . On the other hand, the here is a subset . How then do we interpret the condition ““? We first pull back over to the domain ; that is, we form the composite , and consider the condition that this is bounded above by . (We will write , thinking of the left side as constant over .) Externally, in terms of subsets, this corresponds to the condition .
We need to construct the subsets . In ZFC, we could construct those subsets by applying the comprehension axiom scheme, but the axioms of ETCS have no such blanket axiom scheme. (In fact, as we said earlier, much of the work on “internalizing logic” goes to show that in ETCS, we instead derive a comprehension scheme!) However, one way of defining subsets in ETCS is by taking loci of equations; here, we express the condition , more pedantically or , as the equation
where the right side is the predicate “true over “.
Thus we construct the subset of via the pullback:
{C: A ≤ C} -------> 1 | | | | t_X V chi_A => - V PX -----------> PX
Let me take a moment to examine what this diagram means exactly. Last time we constructed an internal implication operator
and now, in the pullback diagram above, what we are implicitly doing is lifting this to an operator
The easy and cheap way of doing this is to remember the isomorphism we used last time to uncover the cartesian closed structure, and apply this to
to define . This map classifies a certain subset of , which I’ll just write down (leaving it as an exercise which involves just chasing the relevant definitions):
Remark: Similarly we can define a meet operator by exponentiating the internal meet . It is important to know that the general Heyting algebra identities which we established last time for lift to the corresponding identities for the operators on . Ultimately this rests on the fact that the functor , being a right adjoint, preserves products, and therefore preserves any algebraic identity which can be expressed as a commutative diagram of operations between such products.
Hence, for the fixed subset (classified by ), the operator
classifies the subset
Finally, in the pullback diagram above, we are pulling back the operator against . But, from last time, that was exactly the method we used to construct universal quantification. That is, given a subset
we defined to be the pullback of along . Putting all this together, the pullback diagram above expresses the definition
that one would expect “naively”.
Now that all the relevant constructions are in place, we show that is the join of and in the poset . There is nothing intrinsically difficult about this, but as we are still in the midst of constructing the internal logic, we will have to hunker down and prove some logic things normally taken for granted or zipped through without much thought. For example, the internal intersection operator was defined with the help of internal universal quantification, and we will need to establish some formal properties of that.
Here is a useful general principle for doing internal logic calculations. Let be the classifying map of a subset , and let be a function. Then the composite classifies the subset
so that one has the general identity . In passing back and forth between the external and internal viewpoints, the general principle is to try to render “complicated” functions into a form which one can more easily recognize. For lack of a better term, I’ll call this the “pullback principle”.
Lemma 1: Given a relation and a constant , there is an inclusion
as subsets of . (In traditional logical syntax, this says that for any element ,
implies
as predicates over elements . This is the type of thing that ordinarily “goes without saying”, but which we actually have to prove here!)
Proof: As we recalled above, was defined to be , the pullback of global truth along the classifying map . Hold that thought.
Let
be the map which classifies the subset . Equivalently, this is the map
under the canonical isomorphisms , . Intuitively, this maps , i.e., plugs an element into an element .
Using the adjunction of cartesian closure, the composite
transforms to the composite
so by the pullback principle, classifies .
Equivalently,
Also, as subsets of , we have the inclusion
[this just says that belongs to the subset classified by , or equivalently that is in the subset ]. Applying the pullback operation to (2), and comparing to (1), lemma 1 follows.
Lemma 2: If as subsets of , then .
Proof: From the last post, we have an adjunction:
if and only if
for any subset of . So it suffices to show . But
where the first inclusion follows from .
Next, recall from the last post that the internal intersection of was defined by interpreting the following formula on the right:
Lemma 3: If , then .
Proof: classifies the subset , i.e., is identified with the predicate in the argument , so by hypothesis as predicates on . Internal implication is contravariant in the argument [see the following remark], so
Now apply lemma 2 to complete the proof.
Remark: The contravariance of , that is, the fact that
implies
is a routine exercise using the adjunction [discussed last time]
if and only if
Indeed, we have
where the first inequality follows from the hypothesis , and the second follows from . By the adjunction, the inequality (*) implies .
Theorem 1: For subsets of , the subset is an upper bound of and , i.e., .
Proof: It suffices to prove that , since then we need only apply lemma 3 to the trivially true inclusion
to infer , and similarly . (Actually, we need only show . We’ll do that first, and then show full equality.)
The condition we want,
is, by the adjunction , equivalent to
which, by a – adjunction, is equivalent to
as subsets of . So we just have to prove (1). At this point we recall, from our earlier analysis, that
Using the adjunction , as in the proof of lemma 2, we have
which shows that the left side of (1) is contained in
where the last inclusion uses another – adjunction. Thus we have established (1) and therefore also the inclusion
Now we prove the opposite inclusion
that is to say
Here we just use lemma 1, applied to the particular element : we see that the left side of (**) is contained in
which collapses to , since . This completes the proof.
Theorem 2: is the least upper bound of , i.e., if is a subset containing both and , then .
Proof: We are required to show that
Again, we just apply lemma 1 to the particular element : the left-hand side of the claimed inclusion is contained in
but since is true by hypothesis (is globally true as a predicate on the implicit variable ), this last subset collapses to
which completes the proof.
Theorems 1 and 2 show that for any set , the external poset admits joins. One may go on to show (just on the basis of the topos axioms) that as in the case of meets, the global external operation of taking joins is natural in , so that by the Yoneda principle, it is classified by an internal join operation
namely, the map which classifies the union of the subsets
and this operation satisfies all the expected identities. In short, carries an internal Heyting algebra structure, as does for any set .
We will come back to this point later, when we show (as a consequence of strong extensionality) that is actually an internal Boolean algebra.
Construction of Coproducts
Next, we construct coproducts just as we do in ordinary set theory: as disjoint unions. Letting be sets (objects in an ETCS category), a disjoint union of and is a pair of monos
whose intersection is empty, and whose union or join in is all of . We will show that disjoint unions exist and are essentially unique, and that they satisfy the universal property for coproducts. We will use the notation for a disjoint union.
Theorem 3: A disjoint union of and exists.
Proof: It’s enough to embed disjointly into some set , since the union of the two monos in would then be the requisite . The idea now is that if a disjoint union or coproduct exists, then there’s a canonical isomorphism . Since the singleton map
is monic, one thus expects to be able to embed and disjointly into . Since we can easily work out how all this goes in ordinary naive set theory, we just write out the formulas and hope it works out in ETCS.
In detail, define to be
where is the singleton mapping and classifies ; similarly, define to be
Clearly and are monic, so to show disjointness we just have to show that their pullback is empty. But their pullback is isomorphic to the cartesian product of the pullbacks of the diagrams
so it would be enough to show that each (or just one) of these two pullbacks is empty, let’s say the first.
Suppose given a map which makes the square
A -------> 1 | | h | | chi_0 V sigma_X V X -------> PX
commute. Using the pullback principle, the map classifies
which is just the empty subset. This must be the same subset as classified by (where is the diagonal), which by the pullback principle is
An elementary calculation shows this to be the equalizer of the pair of maps
So this equalizer is empty. But notice that equalizes this pair of maps. Therefore we have a map . By corollary 2 above, we infer . This applies to the case where is the pullback, so the pullback is empty, as was to be shown.
Theorem 4: Any two disjoint unions of are canonically isomorphic.
Proof: Suppose is a disjoint union. Define a map
where classifies the subset , and classifies the subset . Applying the pullback principle, the composite classifies
which is easily seen to be the diagonal on . Hence . On the other hand, classifies the subset
which is empty because and are disjoint embeddings, so . Similar calculations yield
Putting all this together, we conclude that and , where and were defined in the proof of theorem 3.
Next, we show that is monic. If not, then by strong extensionality, there exist distinct elements for which ; therefore, and . By the pullback principle, these equations say (respectively)
If , then both factor through the mono . However, since is monic, this would imply that , contradiction. Therefore . By similar reasoning, . Therefore
where is the negation operator. But then . And since is the union by assumption, must be the top element , whence is the bottom element 0. This contradicts the assumption that the topos is nondegenerate. Thus we have shown that must be monic.
The argument above shows that is an upper bound of and in . It follows that the join constructed in theorem 3 is contained in , and hence can be regarded as the join of and in . But is their join in by assumption of being a disjoint union, so the containment must be an equality. The proof is now complete.
Theorem 5: The inclusions , exhibit as the coproduct of and .
Proof: Let , be given functions. Then we have monos
Now the operation certainly preserves finite meets, and also preserves finite joins because it is left adjoint to . Therefore this operation preserves disjoint unions; we infer that the monos
exhibit as a disjoint union of . Composing the monos of (1) and (2), we have disjoint embeddings of and in . Using theorem 4, is isomorphic to the join of these embeddings; this means we have an inclusion
whose restriction to yields and whose restriction to yields . Hence extends and . It is the unique extension, for if there were two extensions , then the equalizer of and would be an upper bound of in , contradicting the fact that is the least upper bound. This completes the proof.
I think that’s enough for one day. I will continue to explore the categorical structure and logic of ETCS next time.
This post is a continuation of the discussion of “the elementary theory of the category of sets” [ETCS] which we had begun last time, here and in the comments which followed. My thanks go to all who commented, for some useful feedback and thought-provoking questions.
Today I’ll describe some of the set-theoretic operations and “internal logic” of ETCS. I have a feeling that some people are going to love this, and some are going to hate it. My main worry is that it will leave some readers bewildered or exasperated, thinking that category theory has an amazing ability to make easy things difficult.
- An aside: has anyone out there seen the book Mathematics Made Difficult? It’s probably out of print by now, but I recommend checking it out if you ever run into it — it’s a kind of extended in-joke which pokes fun at category theory and abstract methods generally. Some category theorists I know take a dim view of this book; I for my part found certain passages hilarious, in some cases making me laugh out loud for five minutes straight. There are category-theory-based books and articles out there which cry out for parody!
In an attempt to nip my concerns in the bud, let me remind my readers that there are major differences between the way that standard set theories like ZFC treat membership and the way ETCS treats membership, and that differences at such a fundamental level are bound to propagate throughout the theoretical development, and impart a somewhat different character or feel between the theories. The differences may be summarized as follows:
- Membership in ZFC is a global relation between objects of the same type (sets).
- Membership in ETCS is a local relation between objects of different types (“generalized” elements or functions, and sets).
Part of what we meant by “local” is that an element per se is always considered relative to a particular set to which it belongs; strictly speaking, as per the discussion last time, the same element is never considered as belonging to two different sets. That is, in ETCS, an (ordinary) element of a set is defined to be a morphism ; since the codomain is fixed, the same morphism cannot be an element of a different set . This implies in particular that in ETCS, there is no meaningful global intersection operation on sets, which in ZFC is defined by:
Instead, in ETCS, what we have is a local intersection operation on subsets of a set. But even the word “subset” requires care, because of how we are now treating membership. So let’s back up, and lay out some simple but fundamental definitions of terms as we are now using them.
Given two monomorphisms , we write ( if the monos are understood, or if we wish to emphasize this is local to ) if there is a morphism such that . Since is monic, there can be at most one such morphism ; since is monic, such must be monic as well. We say define the same subset if this is an isomorphism. So: subsets of are defined to be isomorphism classes of monomorphisms into . As a simple exercise, one may show that monos into define the same subset if and only if and . The (reflexive, transitive) relation on monomorphisms thus induces a reflexive, transitive, antisymmetric relation, i.e., a partial order on subsets of .
Taking some notational liberties, we write to indicate a subset of (as isomorphism class of monos). If is a generalized element, let us say is in a subset if it factors (evidently uniquely) through any representative mono , i.e., if there exists such that . Now the intersection of two subsets and is defined to be the subset defined by the pullback of any two representative monos . Following the “Yoneda principle”, it may equivalently be defined up to isomorphism by specifying its generalized elements:
Thus, intersection works essentially the same way as in ZFC, only it’s local to subsets of a given set.
While we’re at it, let’s reformulate the power set axiom in this language: it says simply that for each set there is a set and a subset , such that for any relation , there is a unique “classifying map” whereby, under , we have
The equality is an equality between subsets, and the inverse image on the right is defined by a pullback. In categorical set theory notation,
Hence, there are natural bijections
between subsets and classifying maps. The subset corresponding to is denoted or , and is called the extension of .
The set plays a particularly important role; it is called the “subset classifier” because subsets are in natural bijection with functions . [Cf. classifying spaces in the theory of fiber bundles.]
In ordinary set theory, the role of is played by the 2-element set . Here subsets are classified by their characteristic functions , defined by iff . We thus have ; the elementhood relation boils down to . Something similar happens in ETCS set theory:
Lemma 1: The domain of elementhood is terminal.
Proof: A map , that is, a map which is in , corresponds exactly to a subset which contains all of (i.e., the subobject ). Since the only such subset is , there is exactly one map .
Hence elementhood is given by an element . The power set axiom says that a subset is retrieved from its classifying map as the pullback .
Part of the power of, well, power sets is in a certain dialectic between external operations on subsets and internal operations on ; one can do some rather amazing things with this. The intuitive (and pre-axiomatic) point is that if has finite products, equalizers, and power objects, then is a representing object for the functor
which maps an object to the collection of subobjects of , and which maps a morphism (“function”) to the “inverse image” function , that sends a subset to the subset given by the pullback of the arrows , . By the Yoneda lemma, this representability means that external natural operations on the correspond to internal operations on the object . As we will see, one can play off the external and internal points of view against each other to build up a considerable amount of logical structure, enough for just about any mathematical purpose.
- Remark: A category satisfying just the first three axioms of ETCS, namely existence of finite products, equalizers, and power objects, is called an (elementary) topos. Most or perhaps all of this post will use just those axioms, so we are really doing some elementary topos theory. As I was just saying, we can build up a tremendous amount of logic internally within a topos, but there’s a catch: this logic will be in general intuitionistic. One gets classical logic (including law of the excluded middle) if one assumes strong extensionality [where we get the definition of a well-pointed topos]. Topos theory has a somewhat fearsome reputation, unfortunately; I’m hoping these notes will help alleviate some of the sting.
To continue this train of thought: by the Yoneda lemma, the representing isomorphism
is determined by a universal element , i.e., a subset of , namely the mono . In that sense, plays the role of a universal subset. The Yoneda lemma implies that external natural operations on general posets are completely determined by how they work on the universal subset.
Internal Meets
To illustrate these ideas, let us consider intersection. Externally, the intersection operation is a natural transformation
This corresponds to a natural transformation
which (by Yoneda) is given by a function . Working through the details, this function is obtained by putting and chasing
through the composite
Let’s analyze this bit by bit. The subset is given by
and the subset is given by
Hence is given by the pullback of the functions and , which is just
The map is thus defined to be the classifying map of .
To go from the internal meet back to the external intersection operation, let be two subsets, with classifying maps . By the definition of , we have that for all generalized elements
if and only if
(where the equality signs are interpreted with the help of equalizers). This holds true iff is in the subset and is in the subset , i.e., if and only if is in the subset . Thus is indeed the classifying map of . In other words, .
A by-product of the interplay between the internal and external is that the internal intersection operator
is the meet operator of an internal meet-semilattice structure on : it is commutative, associative, and idempotent (because that is true of external intersection). The identity element for is the element . In particular, carries an internal poset structure: given generalized elements , we may define
if and only if
and this defines a reflexive, symmetric, antisymmetric relation :
equivalently described as the equalizer
of the maps and . We have that if and only if .
Internal Implication
Here we begin to see some of the amazing power of the interplay between internal and external logical operations. We will prove that carries an internal Heyting algebra structure (ignoring joins for the time being).
Let’s recall the notion of Heyting algebra in ordinary naive set-theoretic terms: it’s a lattice that has a material implication operator such that, for all ,
if and only if
Now: by the universal property of , a putative implication operation is uniquely determined as the classifying map of its inverse image , whose collection of generalized elements is
Given , the equality here is equivalent to
(because is maximal), which in turn is equivalent to
This means we should define to be the classifying map of the subset
Theorem 1: admits internal implication.
Proof: We must check that for any three generalized elements , we have
if and only if
Passing to the external picture, let be the corresponding subsets of . Now: according to how we defined a generalized element is in if and only if . This applies in particular to any monomorphism that represents the subset .
Lemma 2: The composite
is the classifying map of the subset .
Proof: As subsets of , where the last equation holds because both sides are the subsets defined as the pullback of two representative monos , .
Continuing the proof of theorem 1, we see by lemma 2 that the condition corresponds externally to the condition
and this condition is equivalent to . Passing back to the internal picture, this is equivalent to , and the proof of theorem 1 is complete.
Cartesian Closed Structure
Next we address a comment made by “James”, that a category satisfying the ETCS axioms is cartesian closed. As everything else in this article, this uses only the fact that such a category is a topos: has finite products, equalizers, and “power sets”.
Proposition 1: If are “sets”, then represents an exponential
Proof: By the power set axiom, there is a bijection between maps into the power set and relations:
which is natural in . By the same token, there is a natural bijection
Putting these together, we have a natural isomorphism
and this representability means precisely that plays the role of an exponential .
Corollary 1: .
The universal element of this representation is an evaluation map , which is just the classifying map of the subset .
Thus, represents the set of all functions (that is, relations from to ). This is all we need to continue the discussion of internal logic in this post, but let’s also sketch how we get full cartesian closure. [Warning: for those who are not comfortable with categorical reasoning, this sketch could be rough going in places.]
As per our discussion, we want to internalize the set of such relations which are graphs of functions, i.e., maps where each is a singleton, in other words which factor as
where is the singleton mapping:
We see from this set-theoretic description that classifies the equality relation
which we can think of as either the equalizer of the pair of maps or, what is the same, the diagonal map .
Thus, we put , and it is not too hard to show that the singleton mapping is a monomorphism. As usual, we get this monomorphism as the pullback of along its classifying map .
Now: a right adjoint such as preserves all limits, and in particular pullbacks, so we ought then to have a pullback
B^A ---------------> 1^A | | sigma^A | | t^A V V P(B)^A -------------> P(1)^A (chi_sigma)^A
Of course, we don’t even have yet, but this should give us an idea: define , and in particular its domain , by taking the pullback of the right-hand map along the bottom map. In case there is doubt, the map on the bottom is defined Yoneda-wise, applying the isomorphism
to the element in the hom-set (on the left) given by the composite
The map on the right of the pullback is defined similarly. That this recipe really gives a construction of will be left as an exercise for the reader.
Universal Quantification
As further evidence of the power of the internal-external dialectic, we show how to internalize universal quantification.
As we are dealing here now with predicate logic, let’s begin by defining some terms as to be used in ETCS and topos theory:
- An ordinary predicate of type is a function . Alternatively, it is an ordinary element . It corresponds (naturally and bijectively) to a subset .
- A generalized predicate of type is a function . It may be identified with (corresponds naturally and bijectively to) a function , or to a subset .
We are trying to define an operator which will take a predicate of the form [conventionally written ] to a predicate [conventionally written ]. Externally, this corresponds to a natural operation which takes subsets of to subsets of . Internally, it corresponds to an operation of the form
This function is determined by the subset , defined elementwise by
Now, in ordinary logic, is true if and only if is true for all , or, in slightly different words, if is constantly true over all of :
The expression on the right (global truth over ) corresponds to a function , indeed a monomorphism since any function with domain is monic. Thus we are led to define the desired quantification operator as the classifying map of .
Let’s check how this works externally. Let be a generalized predicate of type . Then according to how has just been defined, classifies the subset
There is an interesting adjoint relationship between universal quantification and substitution (aka “pulling back”). By “substitution”, we mean that given any predicate on , we can always pull back to a predicate on (substituting in a dummy variable of type , forming e.g. ) by composing with the projection . In terms of subsets, substitution along is the natural external operation
Then, for any predicate , we have the adjoint relationship
if and only if
so that substitution along is left adjoint to universal quantification along . This is easy to check; I’ll leave that to the reader.
Internal Intersection Operators
Now we put all of the above together, to define an internal intersection operator
which intuitively takes an element (a family of subsets of ) to its intersection , as a subset .
Let’s first write out a logical formula which expresses intersection:
We have all the ingredients to deal with the logical formula on the right: we have an implication operator as part of the internal Heyting algebra structure on , and we have the quantification operator . The atomic expressions and refer to internal elementhood: means is in , and means is in .
There is a slight catch, in that the predicates “” and “” (as generalized predicates over , where lives) are taken over different domains. The first is of the form , and the second is of the form . No matter: we just substitute in some dummy variables. That is, we just pull these maps back to a common domain , forming the composites
and
Putting all this together, we form the composite
This composite directly expresses the definition of the internal predicate given above. By cartesian closure, this map induces the desired internal intersection operator, .
This construction provides an important bridge to getting the rest of the internal logic of ETCS. Since we can can construct the intersection of arbitrary definable families of subsets, the power sets are internal inf-lattices. But inf-lattices are sup-lattices as well; on this basis we will be able to construct the colimits (e.g., finite sums, coequalizers) that we need. Similarly, the intersection operators easily allow us to construct image factorizations: any function can be factored (in an essentially unique way) as an epi or surjection to the image, followed by a mono or injection . The trick is to define the image as the smallest subset of through which factors, by taking the intersection of all such subsets. Image factorization leads in turn to the construction of existential quantification.
As remarked above, the internal logic of a topos is generally intuitionistic (the law of excluded middle is not satisfied). But, if we add in the axiom of strong extensionality of ETCS, then we’re back to ordinary classical logic, where the law of excluded middle is satisfied, and where we just have the two truth values “true” and “false”. This means we will be able to reason in ETCS set theory just as we do in ordinary mathematics, taking just a bit of care with how we treat membership. The foregoing discussion gives indication that logical operations in categorical set theory work in ways familiar from naive set theory, and that basic set-theoretic constructions like intersection are well-grounded in ETCS.
This is a post on “foundations of mathematics” (eek!). I was motivated to write it while I’ve been struggling to understand better certain applications of ultrafilters — namely the theory of measurable cardinals — from a point of view and language that I feel comfortable with. My original intent was to blog about that, as a kind of off-shoot of the general discussion of ultrafilters I started in connection with the series on Stone duality, and because it seems kind of cool. And I will. But this got finished first, and I thought that it would be of interest to some who have been following my category theory posts.
A lot of confusion seems to reign around “the categorical approach to foundations” and what it might entail; some seem to think it involves a “doing-away with elements” that we all know and love, or doing away with sets and supplanting them with categories, or something like that. That’s an unfortunate misunderstanding. My own attitude is pragmatic: I’m all in favor of mathematicians using ordinary “naive” (pre-axiomatic) set theory to express their thoughts if that’s the familiar and appropriate conveyance — I mean, obviously I do it myself. It’s our common heritage, learned through years of undergraduate and graduate school experience and beyond. I’m not proposing for a moment to “overthrow” it.
What I do propose to discuss is a formalized set theory which embodies this rich tradition, but which takes advantage of categorical insights honed over the decades, and which I would argue is ‘natural’ in its ease to accept formulas in naive set theory and give them a foundation true to mathematical practice; I also argue it addresses certain criticisms which I feel could be put to that hallowed foundational theory, ZFC. I should own up that this theory is not immune to criticism, a main one being that a certain amount of preface and commentary is required to make it accessible (and I don’t think category theorists have done a particularly hot job doing that, frankly).
Let’s start by putting down what we want in very simple, pragmatic terms:
- A (formalized) ‘set theory’ worthy of the name ought to realize a conception of sets as “completed collections”, and allow for the existence of enough sets and relations to fulfill the needs of working mathematicians.
This is intentionally vague. The “needs of working mathematicians” fluctuate over time and place and person. Some of the core needs would include the existence of the sets of natural numbers and real numbers, for instance. On the other hand, set theorists may have greater needs than specialists in the theory of several complex variables. For now I’ll ignore some of the deeper needs of set theorists, and try to focus on the basic stuff you’d need to formalize what goes on in your average graduate school text (to put it vaguely, again).
We will discuss two formalizations of set theory: ZFC, and Lawvere’s Elementary Theory of the Category of Sets [ETCS]. The first “needs no introduction”, as they say. The second is an autonomous category-based theory, described in detail below, and proposed by Saunders Mac Lane as an alternative approach to “foundations of mathematics” (see his book with Moerdijk). Either formalization provides fully adequate infrastructure to support the naive set theory of working mathematicians, but there are significant conceptual differences between them, centering precisely on how the notion of membership is handled. I’ll start with the more familiar ZFC.
As everyone knows, ZFC formalizes a conception of “set” as collection extensionally determined by the members it contains, and the ZFC axioms ensure a rich supply of ways in which to construct new sets from old (pairings, unions, power sets, etc.). Considering how old and well-developed this theory is, and the plenitude of available accounts, I won’t say much here on its inner development. Instead, I want to pose a question and answer to highlight a key ZFC conception, and which we use to focus our discussion:
Question: “What are the members of sets?”
Answer: “Other sets.”
This may seem innocent enough, but the consequences are quite far-reaching. It says that “membership” is a relation from the collection of all “sets” to itself. (Speaking at a pre-axiomatic level, a relation from a set to a set is a subset . So a structure for ZFC set theory consists of a “universe of discourse” , together with a collection of pairs of elements of , called the membership relation.)
Why is this a big deal? A reasonable analogue might be dynamical systems. If and are manifolds, say, then you can study the properties of a given smooth map and maybe say interesting things of course, but in the case , you get the extra bonus that outputs can be fed back in as inputs, and infinite processes are born: you can study periodic orbits, long-term behaviors, and so on, and this leads to some very intricate mathematics, even when is a simple manifold like a 2-sphere.
My point is that something analogous is happening in ZFC: we have a (binary) relation from to itself, and we get a rich “dynamics” and feedback by iterative relational composition of with itself, or by composing other derived binary relations from to itself. (Perhaps I should recall here, again at a pre-axiomatic level, that the composite of a relation and is the subset
.)
A “behavior” then would correspond to an iterated membership chain
and there are certain constraints on behavior provided by things like the axiom of foundation (no infinitely long backward evolutions). The deep meaning of the extensionality axiom is that a “set” is uniquely specified by the abstract structure of the tree of possible backward evolutions or behaviors starting from the “root set” . This gives some intuitive but honest idea of the world of sets according to the ZFC picture: sets are tree-like constructions. The ZFC axioms are very rich, having to do with incredibly powerful operations on trees, and the combinatorial results are extremely complicated.
There are other formulations of ZFC. One is by posets: given any relation (never mind one satisfying the ZFC axioms), one can create a reflexive and transitive relation , defined by the first-order formula
if and only if
The “extensionality axiom” for can then be formulated as the condition that also be antisymmetric, so that it is a partial ordering on . If is the membership relation for a model of ZFC, then this is of course just the usual “subset relation” between elements of .
Then, by adding in a suitable “singleton” operator so that
if and only if
the rest of the ZFC axioms can be equivalently recast as conditions on the augmented poset structure . In fact, Joyal and Moerdijk wrote a slim volume, Algebraic Set Theory, which gives a precise (and for a categorist, attractive) sense in which models of axiomatic frameworks like ZF can be expressed as certain initial algebras [of structure type ] within an ambient category of classes, effectively capturing the “cumulative hierarchy” conception underlying ZFC in categorical fashion.
The structure of a ZFC poset is rich and interesting, of course, but in some ways a little odd or inconvenient: e.g., it has a bottom element of course (the “empty set”), but no top (which would run straight into Russell’s paradox). Categorically, there are some cute things to point out about this poset, usually left unsaid; for example, taking “unions” is left adjoint to taking “power sets”:
if and only if .
In summary: ZFC is an axiomatic theory (in the language of first-order logic with equality), with one basic type and one basic predicate of binary type , satisfying a number of axioms. The key philosophic point is that there is no typed distinction between “elements” and “sets”: both are of type , and there is a consequent very complicated dynamical “mixing” which results just on the basis of a short list of axioms: enough in principle to found all of present-day mathematics! I think the fact that one gets such great power, so economically, from apparently such slender initial data, is a source of great pride and pleasure among those who uphold the ZFC conception (or that of close kin like NBG) as a gold standard in foundations.
My own reaction is that ZFC is perhaps way too powerful! For example, the fact that is an endo-relation makes possible the kind of feedback which can result in things like Russell’s paradox, if one is not careful. Even if one is free from the paradoxes, though, the point remains that ZFC pumps out not only all of mathematics, but all sorts of dross and weird by-products that are of no conceivable interest or relevance to mathematics. One might think, for example, that to understand a model of ZFC, we have to be able to understand which definable pairs satisfy . So, in principle, we can ask ourselves such otherwise meaningless gibberish as “what in our model and implementation is the set-theoretic intersection of the real number and Cantor space?” and expect to get a well-defined answer. When you get right down to it, the idea that everything in mathematics (like say the number ) is a “set” is just plain bizarre, and actually very far removed from the way mathematicians normally think. And yet this is how we are encouraged to think, if we are asked to take ZFC seriously as a foundations.
One might argue that all expressions and theorems of normal mathematics are interpretable or realizable in the single theory ZFC, and that’s really all we ever asked for — the details of the actual implementation (like, ‘what is an ordered pair?’) being generally of little genuine interest to mathematicians (which is why the mathematician in the street who says ZFC is so great usually can’t say with much specificity what ZFC is). But this would seem to demote ZFC foundations, for most mathematicians, to a security blanket — nice to know it’s there, maybe, but otherwise fairly irrelevant to their concerns. But if there really is such a disconnect between how a mathematician thinks of her materials at a fundamental level and how it specifically gets coded up as trees in ZFC, with such huge wads of uninteresting or irrelevant stuff in its midst, we might re-examine just how appropriate ZFC is as “foundations” of our subject, or at least ask ourselves how much of it we usefully retain and how we might eliminate the dross.
We turn now to consider a categorical approach, ETCS. This will require retooling the way we think of mathematical membership. There are three respects in which “membership” or “elementhood” differs here from the way it is handled in ZFC:
- “Elements” and “sets” are entities of different types. (Meaning, elements are not themselves presupposed to be sets.)
- When we say “element”, we never mean an object considered in isolation; we always consider it relative to the specific “set” it is considered to be a member of. (That is, strictly speaking, the same object is never thought of as “belonging to” two distinct sets — use of such language must be carefully circumscribed.)
- We consider not just “elements” in the usual sense, but what are sometimes called “generalized elements”. Civilians call them “functions”. Thus, an element of type over a domain of variation is fancy terminology for a function . We will call them functions or “generalized elements”, depending on the intuition we have in mind. A function corresponds to an ordinary element of .
Each of these corresponds to some aspect of normal practice, but taken together they are sufficiently different in how they treat “membership” that they might need some getting used to. The first corresponds to a decision to treat elements of a “set” like as ‘urelements’: they are not considered to have elements themselves and are not considered as having any internal structure; they are just atoms. What counts in a mathematical structure then is not what the constituents are ‘like’ themselves, but only how they are interrelated among themselves qua the structure they are considered being part of.
This brings us right to the second point. It corresponds e.g. to a decision never to consider a number like ‘3’ in isolation or as some Platonic essence, but always with respect to an ambient system to which it is bound, as in ‘3 qua natural number’, ‘3 qua rational number’, etc. It is a firm resolve to always honor context-dependence. Naturally, we can in a sense transport ‘3’ from one context to another via a specified function like , but strictly speaking we’ve then changed the element. This raises interesting questions, like “what if anything plays the role of extensionality?”, or “what does it mean to take the intersection of sets?”. (Globally speaking, in ETCS we don’t — but we can, with a bit of care, speak of the intersection of two “subsets” of a given set. For any real mathematical purpose, this is good enough.)
My own sense is that it may be this second precept which takes the most getting used to — it certainly gives the lie to sometimes-heard accusations that categorical set theory is just a “slavish translation of ZFC into categorical terms”. Clearly, we are witnessing here radical departure from how membership is treated in ZFC. Such unbending commitment to the principle of context-dependence might even be felt to be overkill, a perhaps pedantic exercise in austerity or purity, or that it robs us of some freedom in how we want to manipulate sets. A few quick answers: no, we don’t lose any essential freedoms. Yes, the formal language may seem slightly awkward or stilted at certain points, but the bridges between the naive and formal are mercifully fairly obvious and easily navigated. Lastly, by treating membership not as a global endo-relation on sets, but as local and relative, we effectively eliminate all the extraneous dreck and driftwood which one rightly ignores when examining the mathematics of ZFC.
The third precept is familiar from the way category theorists and logicians have used generalized elements to extend set-theoretic notation, e.g., to chase diagrams in abelian categories, or to describe sheaf semantics of intuitionistic set theory, or to flesh out the Curry-Howard isomorphism. It is a technical move in some sense, but one which is easy to grow accustomed to, and very convenient. In ETCS, there is a strong “extensionality principle” (technically, the requirement that the terminal object is a generator) which guarantees enough “ordinary” elements to make any distinctions that can sensibly be made, but experience with topos theory suggests that for many applications, it is often convenient to drop or significantly modify that principle. If anything in ETCS is a nod to traditional set theory, it is such a strong extensionality principle. [The Yoneda principle, which deals with generalized elements, is also an extensionality principle: it says that a set is determined uniquely (to within uniquely specified isomorphism) by its generalized elements.]
Okay, it is probably time to lay out the axioms of ETCS. The basic data are just those of a category; here, we are going to think of objects as “sets”, and morphisms as functions or equivalently as “elements of a set over a domain of variation “. The latter is a mouthful, and it is sometimes convenient to suppress explicit mention of the domain , so that “” just means some morphism with codomain . More on this below. The axioms of ETCS are the axioms of category theory, plus existence axioms which guarantee enough structure to express and support naive set theory (under the strictures imposed by precepts 1-3 above). For those who speak the lingo, the axioms below are those of a well-pointed topos with natural number object and axiom of choice. (This can be augmented later with a replacement axiom, so as to achieve bi-interpretability with full ZFC.)
Remark: As ETCS breaks the “dynamical” aspects of ZFC, and additionally treats issues of membership in a perhaps unaccustomed manner, its axioms do take longer to state. This should come as no surprise. Actually, we’ve discussed some of them already in other posts on category theory; we will repeat ourselves but make some minor adjustments to reflect normal notational practice of naive set theory, and build bridges between the naive and formal.
Axiom of products. For any two sets , there is a set and functions , , such that given two elements over the same domain, there exists a unique element over that domain for which
A choice of product is usually denoted . To make a bridge with naive set-theory notation, we suggestively write
where the funny equality sign and bracketing notation on the right simply mean that the cartesian product is uniquely defined up to isomorphism by its collection of (generalized) elements, which correspond to pairs of elements, in accordance with the Yoneda principle as explained in the discussion here.
We also assume the existence of an “empty product” or terminal object 1: this is a set with a unique element over any domain.
Axiom of equalizers. For any two functions , there exists a function such that
- ,
- Given over some domain such that , there exists a unique over the same domain such that .
An equalizer is again defined up to isomorphism by its collection of generalized elements, denoted , again in accordance with the Yoneda principle.
Using the last two axioms, we can form pullbacks: given functions , we can form the set denoted
using the product and equalizer indicated by this notation.
Before stating the next axiom, a few important remarks. We recall that a function is injective if for every over the same domain, implies . In that case we think of as defining a “subset” of , whose (generalized) elements correspond to those elements which factor (evidently uniquely) through . It is in that sense that we say also “belongs to” a subset (cf. precept 2). A relation from to is an injective function or subset .
Axiom of power sets. For every set there is a choice of power set and a relation , so that for every relation , there exists a unique function such that is obtained up to isomorphism as the pullback
In other words, belongs to if and only if belongs to .
Axiom of strong extensionality. For functions , we have if and only if for all “ordinary” elements .
Axiom of natural number object. There is a set , together with an element and a function , which is initial among sets equipped with such data. That is, given a set together with an element and a function , there exists a unique function such that
Or, in elementwise notation, for every (generalized) element , where means . Under strong extensionality, we may drop the qualifier “generalized”.
Before stating the last axiom, we formulate a notion of “surjective” function: is surjective if for any two functions , we have if and only if . This is dual to the notion of being injective, and under the axiom of strong extensionality, is equivalent to the familiar notion: that is surjective if for every element , there exists an element such that .
Axiom of choice. Every surjective function admits a section, i.e., a function such that , the identity function.
This completes the list of axioms for ETCS. I have been at pains to try to describe them in notation which is natural from the standpoint of naive set theory, with the clear implication that any formula of naive set theory is readily translated into the theory ETCS (provided we pay appropriate attention to our precepts governing membership), and that this theory provides a rigorous foundation for mainstream mathematics.
To make good on this claim, further discussion is called for. First, I have not discussed how classical first-order logic is internalized in this setting (which we would need to do justice to a comprehension or separation scheme), nor have I discussed the existence or construction of colimits. I plan to take this up later, provided I have the energy for it. Again, the plan would be to stick as closely as possible to naive set-theoretic reasoning. (This might actually be useful: the categorical treatments found in many texts tend to be technical, often involving things like monad theory and Beck’s theorem, which makes it hard for those not expert in category theory to get into. I want to show this need not be the case.)
Also, some sort of justification for the claim that ETCS “founds” mainstream mathematics is called for. Minimally, one should sketch how the reals are constructed, for instance, and one should include enough “definability theory” to make it plausible that almost all constructions in ordinary mathematics find a natural home in ETCS. What is excluded? Mainly certain parts of set theory, and parts of category theory (ha!) which involve certain parts of set theory, but this is handled by strengthening the theory with more axioms; I particularly have in mind a discussion of the replacement axiom, and perhaps large cardinal axioms. More to come!
After this brief (?) categorical interlude, I’d like to pick up the main thread again, and take a closer look at the some of the ingredients of baby Stone duality in the context of categorical algebra, specifically through the lens of adjoint functors. By passing a topological light through this lens, we will produce the spectrum of a Boolean algebra: a key construction of full-fledged Stone duality!
Just before the interlude, we were discussing some consequences of baby Stone duality. Taking it from the top, we recalled that there are canonical maps
in the categories of Boolean algebras and sets . We said these are “natural” maps (even before the notion of naturality had been formally introduced), and recalled our earlier result that these are isomorphisms when and are finite (which is manifestly untrue in general; for instance, if is a free Boolean algebra generated by a countable set, then for simple reasons of cardinality cannot be a power set).
What we have here is an adjoint pair of functors between the categories and of sets and Boolean algebras, each given by a hom-functor:
( acts the same way on objects and morphisms as , but is regarded as mapping between the opposite categories). This actually says something very simple: that there is a natural bijection between Boolean algebra maps and functions
given by the formula . [The very simple nature of this formula suggests that it’s nothing special to Boolean algebras — a similar adjunction could be defined for any algebraic theory defined by operations and (universally quantified) equations, replacing by any model of that theory.] The unit of the adjunction at is the function , and the counit at is the Boolean algebra map (regarded as a morphism mapping the other way in the opposite category ).
The functor is usually described in the language of ultrafilters, as I will now explain.
Earlier, we remarked that an ultrafilter in a Boolean algebra is a maximal filter, dual to a maximal ideal; let’s recall what that means. A maximal ideal in a Boolean ring is the kernel of a (unique) ring map
i.e., has the form for some such map. Being an ideal, it is an additive subgroup such that implies . It follows that if , then , so is closed under finite joins (including the empty join ). Also, if and , then , so that is “downward-closed”.
Conversely, a downward-closed subset which is closed under finite joins is an ideal in (exercise!). Finally, if is a maximal ideal, then under the quotient map
we have that for all , either or , i.e., that either or .
Thus we have redefined the notion of maximal ideal in a Boolean algebra in the first-order theory of posets: a downward-closed set closed under finite joins, such that every element or its complement (but never both!) is contained in . [If both , then , whence for all (since and is downward-closed). But then isn’t a maximal (proper) ideal!]
The notion of ultrafilter is dual, so an ultrafilter in a Boolean algebra is defined to be a subset which
- Is upward-closed: if and , then ;
- Is closed under finite meets: if , then ;
- Satisfies dichotomy: for every , exactly one of belongs to .
If is a maximal ideal, then is an ultrafilter, and we have natural bijections between the following concepts:
Boolean algebra maps maximal ideals ultrafilters
so that is naturally identified with the set of ultrafilters in .
If is a set, then an ultrafilter on is by definition an ultrafilter in the Boolean algebra . Hence is identified with the set of ultrafilters on , usually denoted . The unit map
maps to an ultrafilter denoted , consisting of all subsets which contain , and called the principal ultrafilter generated by .
We saw that when is finite, the function (and therefore also ) is a bijection: there every ultrafilter is principal, as part of baby Stone duality (see Proposition 4 here). Here is a slight generalization:
Proposition 1: If an ultrafilter on contains a finite set , then is principal.
Proof: It is enough to show contains for some . If not, then contains the complement for every (by dichotomy), and therefore also the finite intersection
which contradicts the fact that .
It follows that nonprincipal ultrafilters can exist only on infinite sets , and that every cofinite subset of (complement of a finite set) belongs to such an ultrafilter (by dichotomy). The collection of cofinite sets forms a filter, and so the question of existence of nonprincipal ultrafilters is the question of whether the filter of cofinite sets can be extended to an ultrafilter. Under the axiom of choice, the answer is yes:
Proposition 2: Every (proper) filter in a Boolean algebra is contained in some ultrafilter.
Proof: This is dual to the statement that every proper ideal in a Boolean ring is contained in a maximal ideal. Either statement may be proved by appeal to Zorn’s lemma: the collection of filters which contain a given filter has the property that every linear chain of such filters has an upper bound (namely, the union of the chain), and so by Zorn there is a maximal such filter.
As usual, Zorn’s lemma is a kind of black box: it guarantees existence without giving a clue to an explicit construction. In fact, nonprincipal ultrafilters on sets , like well-orderings of the reals, are notoriously inexplicit: no one has ever seen one directly, and no one ever will.
That said, one can still develop some intuition for ultrafilters. I think of them as something like “fat nets”. Each ultrafilter on a set defines a poset (of subsets ordered by inclusion), but I find it more suggestive to consider instead the opposite , where in means — so that the further or deeper you go in , the smaller or more concentrated the element. Since is closed under finite intersections, has finite joins, so that is directed (any two elements have an upper bound), just like the elements of a net (or more pedantically, the domain of a net). I call an ultrafilter a “fat net” because its elements, being subsets of , are “fatter” than mere points.
Intuitively speaking, ultrafilters as nets “move in a definite direction”, in the sense that given an element , however far in the net, and given a subset , the ultrafilter-as-net sniffs out a direction in which to proceed, “tunneling” either into if , or into its relative complement if this belongs to . In the case of a principal ultrafilter, there is a final element of the net; otherwise not (but we can think of a nonprincipal ultrafilter as ending at an “ideal point” of the set if we want).
Since the intuitive imagery here is already vaguely topological, we may as well make the connection with topology more precise. So, suppose now that comes equipped with a topology. We say that an ultrafilter on converges to a point if each open set containing (or each neighborhood of ) belongs to the ultrafilter. In other words, by going deep enough into the ultrafilter-as-net, you get within any chosen neighborhood of the point. We write to say that converges to .
General topology can be completely developed in terms of the notion of ultrafilter convergence, often very efficiently. For example, starting with any relation whatsoever between ultrafilters and points,
we can naturally define a topology on so that
with respect to whenever .
Let’s tackle that in stages: in order for the displayed condition to hold, a neighborhood of must belong to every ultrafilter for which . This suggests that we try defining the filter of neighborhoods of to be the intersection of ultrafilters
Then define a subset to be open if it is a neighborhood of all the points it contains. In other words, define to be open if
Proposition 3: This defines a topology, .
Proof: Since for every ultrafilter , it is clear that is open; also, it is vacuously true that the empty set is open. If are open, then for all , whenever , we have and , so that and by openness, whence since is closed under intersections. So is also open. Finally, suppose is a collection of open sets. For all , if , then for some , so that by openness, whence since ultrafilters are upward closed. So is also open. .
Let’s recap: starting from a topology on , we’ve defined a convergence relation (consisting of pairs such that ), and conversely, given any relation , we’ve defined a topology on . What we actually have here is a Galois connection where
if and only if
Of course not every relation is the convergence relation of a topology, so we don’t quite have a Galois correspondence (that is, and are not quite inverse to one another). But, it is true that every topology is the topology of its ultrafilter convergence relation, i.e., . For this, it suffices to show that every neighborhood filter is the intersection of the ultrafilters that contain it. But that is true of any filter:
Theorem 1: If is a filter in and , then there exists an ultrafilter for which and .
Proof: First I claim for all ; otherwise for some , whence , so that since filters are upward closed, contradiction. It follows that can be extended to the (proper) filter
which in turn extends to some ultrafilter , by proposition 2. Since , we have .
Corollary 1: Every filter is the intersection of all the ultrafilters which contain it.
The ultrafilter convergence approach to topology is particularly convenient for studies of compactness:
Theorem 2: A space is compact if and only if every ultrafilter converges to at least one point. It is Hausdorff if and only if every ultrafilter converges to at most one point.
Proof: First suppose that is compact, and (in view of a contradiction) that converges to no point of . This means that for every there is a neighborhood which does not belong to , or that . Finitely many of these cover , by compactness. By De Morgan’s law, this means finitely many have empty intersection. But this would mean , since is closed under finite intersections, contradiction.
In the reverse direction, suppose that every ultrafilter converges. We need to show that if is any collection of open subsets of such that no finite subcollection covers , then the union of the cannot cover . First, because no finite subcollection covers, we may construct a filter generated by the complements:
Extend this filter to an ultrafilter ; then by assumption . If some one of the contained , then by definition of convergence. But we also have , and this is a contradiction. So, lies outside the union of the , as was to be shown.
Now let be Hausdorff, and suppose that and . Let be neighborhoods of respectively with empty intersection. By definition of convergence, we have , whence , contradiction.
Conversely, suppose every ultrafilter converges to at most one point, and let be two distinct points. Unless there are neighborhoods of respectively such that (which is what we want), the smallest filter containing the two neighborhood filters (that is to say, the join in the poset of filters) is proper, and hence extends to an ultrafilter . But then and , which is to say and , contradiction.
Theorem 2 is very useful; among other things it paves the way for a clean and conceptual proof of Tychonoff’s theorem (that an arbitrary product of compact spaces is compact). For now we note that it says that a topology is the topology of a compact Hausdorff space structure on if and only if the convergence relation is a function. And in practice, functions which arise “naturally” tend to be such convergence relations, making a compact Hausdorff space.
Here is our key example. Let be a Boolean algebra, and let , which we have identified with the set of ultrafilters in . Define a map by
where was the counit (evaluated at ) of the adjunction defined at the top of this post. Unpacking the definitions a bit, the map is the map , the result of applying the hom-functor to
Chasing this a little further, the map “pulls back” an ultrafilter to the ultrafilter , viewed as an element of . We then topologize by the topology .
This construction is about as “abstract nonsense” as it gets, but you have to admit that it’s pretty darned canonical! The topological space we get in this way is called the spectrum of the Boolean algebra . If you’ve seen a bit of algebraic geometry, then you probably know another, somewhat more elementary way of defining the spectrum (of as commutative ring), so we may as well make the connection explicit. However you define it, the result is a compact Hausdorff space structure with some other properties which make it very reminiscent of Cantor space.
It is first of all easy to see that is compact, i.e., that every ultrafilter converges. Indeed, the relation is a function , and if you look at the condition for a set to be open w.r.t. ,
you see immediately that converges to .
To get Hausdorffness, take two distinct points (ultrafilters in ). Since these are distinct maximal filters, there exists such that belongs to but not to , and then belongs to but not to . Define
Proposition 4: is open in .
Proof: We must check that for all ultrafilters on , that
But . By definition of , we are thus reduced to checking that
or that . But (as a subset of ) is !
As a result, and are open sets containing the given points . They are disjoint since in fact (indeed, because preserves negation). This gives Hausdorffness, and also that the are clopen (closed and open).
We actually get a lot more:
Proposition 5: The collection is a basis for the topology on .
Proof: The sets form a basis for some topology , because (indeed, preserves meets). By the previous proposition, . So the identity on gives a continuous comparison map
between the two topologies. But a continuous bijection from a compact space to a Hausdorff space is necessarily a homeomorphism, so .
- Remark: In particular, the canonical topology on is compact Hausdorff; this space is called the Stone-Cech compactification of (the discrete space) . The methods exploited in this lecture can be used to show that in fact is the free compact Hausdorff space generated from the set , meaning that the functor is left adjoint to the underlying-set functor . In fact, one can go rather further in this vein: a fascinating result (first proved by Eduardo Manes in his PhD thesis) is that the concept of compact Hausdorff space is algebraic (is monadic with respect to the monad ): there is a equationally defined theory where the class of -ary operations (for each cardinal ) is coded by the set of ultrafilters , and whose models are precisely compact Hausdorff spaces. This goes beyond the scope of these lectures, but for the theory of monads, see the entertaining YouTube lectures by the Catsters!
In our last post on category theory, we continued our exploration of universal properties, showing how they can be used to motivate the concept of natural transformation, the “right” notion of morphism between functors . In today’s post, I want to turn things around, applying the notion of natural transformation to explain generally what we mean by a universal construction. The key concept is the notion of representability, at the center of a circle of ideas which includes the Yoneda lemma, adjoint functors, monads, and other things — it won’t be possible to talk about all these things in detail (because I really want to return to Stone duality before long), but perhaps these notes will provide a key of entry into more thorough treatments.
Even for a fanatic like myself, it’s a little hard to see what would drive anyone to study category theory except a pretty serious “need to know” (there is a beauty and conceptual economy to categorical thinking, but I’m not sure that’s compelling enough motivation!). I myself began learning category theory on my own as an undergraduate; at the time I had only the vaguest glimmerings of a vast underlying unity to mathematics, but it was only after discovering the existence of category theory by accident (reading the introductory chapter of Spanier’s Algebraic Topology) that I began to suspect it held the answer to a lot of questions I had. So I got pretty fired-up about it then, and started to read Mac Lane’s Categories for the Working Mathematician. I think that even today this book remains the best serious introduction to the subject — for those who need to know! But category theory should be learned from many sources and in terms of its many applications. Happily, there are now quite a few resources on the Web and a number of blogs which discuss category theory (such as The Unapologetic Mathematician) at the entry level, with widely differing applications in mind. An embarrassment of riches!
Anyway, to return to today’s topic. Way back when, when we were first discussing posets, most of our examples of posets were of a “concrete” nature: sets of subsets of various types, ordered by inclusion. In fact, we went a little further and observed that any poset could be represented as a concrete poset, by means of a “Dedekind embedding” (bearing a familial resemblance to Cayley’s lemma, which says that any group can be represented concretely, as a group of permutations). Such concrete representation theorems are extremely important in mathematics; in fact, this whole series is a trope on the Stone representation theorem, that every Boolean algebra is an algebra of sets! With that, I want to discuss a representation theorem for categories, where every (small) category can be explicitly embedded in a concrete category of “structured sets” (properly interpreted). This is the famous Yoneda embedding.
This requires some preface. First, we need the following fundamental construction: for every category there is an opposite category , having the same classes of objects and morphisms as , but with domain and codomain switched (, and ). The function is the same in both cases, but we see that the class of composable pairs of morphisms is modified:
[is a composable pair in ] if and only if
and accordingly, we define composition of morphisms in in the order opposite to composition in :
in .
Observation: The categorical axioms are satisfied in the structure if and only if they are in ; also, .
This observation is the underpinning of a Principle of Duality in the theory of categories (extending the principle of duality in the theory of posets). As the construction of opposite categories suggests, the dual of a sentence expressed in the first-order language of category theory is obtained by reversing the directions of all arrows and the order of composition of morphisms, but otherwise keeping the logical structure the same. Let me give a quick example:
Definition: Let be objects in a category . A coproduct of and consists of an object and maps , (called injection or coprojection maps), satisfying the universal property that given an object and maps , , there exists a unique map such that and .
This notion is dual to the notion of product. (Often, one indicates the dual notion by appending the prefix “co” — except of course if the “co” prefix is already there; then one removes it.) In the category of sets, the coproduct of two sets may be taken to be their disjoint union , where the injections are the inclusion maps of into (exercise).
Exercise: Formulate the notion of coequalizer (by dualizing the notion of equalizer). Describe the coequalizer of two functions (in the category of sets) in terms of equivalence classes. Then formulate the notion dual to that of monomorphism (called an epimorphism), and by a process of dualization, show that in any category, coequalizers are epic.
Principle of duality: If a sentence expressed in the first-order theory of categories is provable in the theory, then so is the dual sentence. Proof (sketch): A proof of a sentence proceeds from the axioms of category theory by applying rules of inference. The dualization of proves the dual sentence by applying the same rules of inference but starting from the duals of the categorical axioms. A formal proof of the Observation above shows that collectively, the set of categorical axioms is self-dual, so we are done.
Next, we introduce the all-important hom-functors. We suppose that is a locally small category, meaning that the class of morphisms between any two given objects is small, i.e., is a set as opposed to a proper class. Even for large categories, this condition is just about always satisfied in mathematical practice (although there is the occasional baroque counterexample, like the category of quasitopological spaces).
Let denote the category of sets and functions. Then, there is a functor
which, at the level of objects, takes a pair of objects to the set of morphisms (in ) between them. It takes a morphism of (that is to say, a pair of morphisms of ) to the function
Using the associativity and identity axioms in , it is not hard to check that this indeed defines a functor . It generalizes the truth-valued pairing we defined earlier for posets.
Now assume is small. From last time, there is a bijection between functors
and by applying this bijection to , we get a functor
This is the famous Yoneda embedding of the category . It takes an object to the hom-functor . This hom-functor can be thought of as a structured, disciplined way of considering the totality of morphisms mapping into the object , and has much to do with the Yoneda Principle we stated informally last time (and which we state precisely below).
- Remark: We don’t need to be small to talk about ; local smallness will do. The only place we ask that be small is when we are considering the totality of all functors , as forming a category .
Definition: A functor is representable (with representing object ) if there is a natural isomorphism of functors.
The concept of representability is key to discussing what is meant by a universal construction in general. To clarify its role, let’s go back to one of our standard examples.
Let be objects in a category , and let be the functor ; that is, the functor which takes an object of to the set . Then a representing object for is a product in . Indeed, the isomorphism between sets simply recapitulates that we have a bijection
between morphisms into the product and pairs of morphisms. But wait, not just an isomorphism: we said a natural isomorphism (between functors in the argument ) — how does naturality figure in?
Enter stage left the celebrated
Yoneda Lemma: Given a functor and an object of , natural transformations are in (natural!) bijection with elements .
Proof: We apply the “Yoneda trick” introduced last time: probe the representing object with the identity morphism, and see where takes it: put . Incredibly, this single element determines the rest of the transformation : by chasing the element around the diagram
phi_c hom(c, c) -----> Fc | | hom(f, c) | | Ff V V hom(b, c) -----> Fb phi_b
(which commutes by naturality of ), we see for any morphism in that . That the bijection
is natural in the arguments we leave as an exercise.
Returning to our example of the product as representing object, the Yoneda lemma implies that the natural bijection
is induced by the element , and this element is none other than the pair of projection maps
In summary, the Yoneda lemma guarantees that a hom-representation of a functor is, by the naturality assumption, induced in a uniform way from a single “universal” element . All universal constructions fall within this general pattern.
Example: Let be a category with products, and let be objects. Then a representing object for the functor is an exponential ; the universal element is the evaluation map .
Exercise: Let be a pair of parallel arrows in a category . Describe a functor which is represented by an equalizer of this pair (assuming one exists).
Exercise: Dualize the Yoneda lemma by considering hom-functors . Express the universal property of the coproduct in terms of representability by such hom-functors.
The Yoneda lemma has a useful corollary: for any (locally small) category , there is a natural isomorphism
between natural transformations between hom-functors and morphisms in . Using as alternate notation for the hom-set, the action of the Yoneda embedding functor on morphisms gives an isomorphism between hom-sets
the functor is said in that case to be fully faithful (faithful means this action on morphisms is injective for all , and full means the action is surjective for all ). The Yoneda embedding thus maps isomorphically onto the category of hom-functors valued in the category .
It is illuminating to work out the meaning of this last statement in special cases. When the category is a group (that is, a category with exactly one object in which every morphism is invertible), then functors are tantamount to sets equipped with a group homomorphism , i.e., a left action of , or a right action of . In particular, is the underlying set of , equipped with the canonical right action , where . Moreover, natural transformations between functors are tantamount to morphisms of right -sets. Now, the Yoneda embedding
identifies any abstract group with a concrete group , i.e., with a group of permutations — namely, exactly those permutations on which respect the right action of on itself. This is the sophisticated version of Cayley’s theorem in group theory. If on the other hand we take to be a poset, then the Yoneda embedding is tantamount to the Dedekind embedding we discussed in the first lecture.
Tying up a loose thread, let us now formulate the “Yoneda principle” precisely. Informally, it says that an object is determined up to isomorphism by the morphisms mapping into it. Using the hom-functor to collate the morphisms mapping into , the precise form of the Yoneda principle says that an isomorphism between representables corresponds to a unique isomorphism between objects. This follows easily from the Yoneda lemma.
But far and away, the most profound manifestation of representability is in the notion of an adjoint pair of functors. “Free constructions” give a particularly ubiquitous class of examples; the basic idea will be explained in terms of free groups, but the categorical formulation applies quite generally (e.g., to free monoids, free Boolean algebras, free rings = polynomial algebras, etc., etc.).
If is a set, the free group (q.v.) generated by is, informally, the group whose elements are finite “words” built from “literals” which are the elements of and their formal inverses, where we identify a word with any other gotten by introducing or deleting appearances of consecutive literals or . Janis Joplin said it best:
Freedom’s just another word for nothin’ left to lose…
— there are no relations between the generators of beyond the bare minimum required by the group axioms.
Categorically, the free group is defined by a universal property; loosely speaking, for any group , there is a natural bijection between group homomorphisms and functions
where denotes the underlying set of the group. That is, we are free to assign elements of to elements of any way we like: any function extends uniquely to a group homomorphism , sending a word in to the element in .
Using the usual Yoneda trick, or the dual of the Yoneda trick, this isomorphism is induced by a universal function , gotten by applying the bijection above to the identity map . Concretely, this function takes an element to the one-letter word in the underlying set of the free group. The universal property states that the bijection above is effected by composing with this universal map:
where the first arrow refers to the action of the underlying-set or forgetful functor , mapping the category of groups to the category of sets ( “forgets” the fact that homomorphisms preserve group structure, and just thinks of them as functions ).
- Remark: Some people might say this a little less formally: that the original function is retrieved from the extension homomorphism by composing with the canonical injection of the generators . The reason we don’t say this is that there’s a confusion of categories here: properly speaking, belongs to the category of groups, and to the category of sets. The underlying-set functor is a device we apply to eliminate the confusion.
In different words, the universal property of free groups says that the functor , i.e., the underlying functor followed by the hom-functor , is representable by the free group : there is a natural isomorphism of functors from groups to sets:
Now, the free group can be constructed for any set . Moreover, the construction is functorial: defines a functor . This is actually a good exercise in working with universal properties. In outline: given a function , the homomorphism is the one which corresponds bijectively to the function
i.e., is defined to be the unique map such that .
Proposition: is functorial (i.e., preserves morphism identities and morphism composition).
Proof: Suppose , is a composable pair of morphisms in . By universality, there is a unique map , namely , such that . But also has this property, since
(where we used functoriality of in the first equation). Hence . Another universality argument shows that preserves identities.
Observe that the functor is rigged so that for all morphisms ,
That is to say, that there is only one way of defining so that the universal map is (the component at of) a natural transformation !
The underlying-set and free functors , are called adjoints, generalizing the notion of adjoint in truth-valued matrix algebra: we have an isomorphism
natural in both arguments . We say that is left adjoint to , or dually, that is right adjoint to , and write . The transformation is called the unit of the adjunction.
Exercise: Define the construction dual to the unit, called the counit, as a transformation . Describe this concretely in the case of the free-underlying adjunction between sets and groups.
What makes the concept of adjoint functors so compelling is that it combines representability with duality: the manifest symmetry of an adjunction means that we can equally well think of as representing as we can as representing . Time is up for today, but we’ll be seeing more of adjunctions next time, when we resume our study of Stone duality.
[Tip of the hat to Robert Dawson for the Janis Joplin quip.]
I wish to bring the attention of our readers to the Carnival of Mathematics hosted by Charles at Rigorous Trivialities. I guess most of you already know about it. Among other articles/posts, one of Todd’s recent post Basic Category Theory I is part of the carnival. He followed it up with another post titled Basic Category Theory II. There will be a third post on the same topic some time soon. This sub-series of posts on basic category theory, if you recall, is part of the larger series on Stone Duality, which all began with Toward Stone Duality: Posets and Meets. Hope you enjoy the Carnival!
I’ll continue then with this brief subseries on category theory. Today I want to talk more about universal properties, and about the notion of natural transformation. Maybe not today, but soon at any rate, I want to tie all this in with the central concept of representability, which leads directly and naturally to the powerful and fundamental idea of adjoint functors. This goes straight to the very heart of category theory.
The term “natural”, often bandied about by mathematicians, is perhaps an overloaded term (see the comments here for a recent disagreement about certain senses of the word). I don’t know the exact history of the word as used by mathematicians, but by the 1930s and 40s the description of something as “natural” was part of the working parlance of many mathematicians (in particular, algebraic topologists), and it is to the great credit of Eilenberg and Mac Lane that they sought to give the word a precise mathematical sense. A motivating problem in their case was to prove a universal coefficient theorem for Cech cohomology, for which they needed certain comparison maps (transformations) which cohered by making certain diagrams commute (which was the naturality condition). In trying to precisely define this concept of naturality, they were led to the concept of a “functor” and then, to define the concept of functor, they were led back to the notion of category! And the rest, as they say, is history.
More on naturality in a moment. Let me first give a few more examples of universal constructions. Last time we discussed the general concept of a cartesian product — obviously in honor of Descartes, for his tremendous idea of the method of coordinates and analytic geometry.
But of course products are only part of the story: he was also interested in the representation of equations by geometric figures: for instance, representing an equation as a subset of the plane. In the language of category theory, the variable denotes the second coordinate or second projection map , and denotes the composite of the first projection map followed by some given map :
The locus of the equation is the subset of where the two morphisms and are equal, and we want to describe the locus in a categorical way (i.e., in a way which will port over to other categories).
Definition: Given a pair of morphisms
their equalizer consists of an object and a map , such that , and satisfying the following universal property: for any map such that , there exists a unique map such that (any map that equalizes and factors in a unique way through the equalizer ).
Another way of saying it is that there is a bijection between -equalizing maps and maps ,
effected by composing such maps with the universal -equalizing map .
Exercise: Apply a universality argument to show that any two equalizers of a given pair of maps are isomorphic.
It is not immediately apparent from the definition that an equalizer describes a “subthing” (e.g., a subset) of , but then we haven’t even discussed subobjects. The categorical idea of subobject probably takes some getting used to anyway, so I’ll be brief. First, there is the idea of a monomorphism (or a “mono” for short), which generalizes the idea of an injective or one-to-one function. A morphism is monic if for all , implies . Monos with codomain are preordered by a relation , where
if there exists such that . (Such a is unique since is monic, so it doesn’t need to be specified particularly; also this is easily seen to be monic [exercise].) Then we say that two monics mapping into name the same subobject of if and ; in that case the mediator is an isomorphism. Writing to denote this condition, it is standard that is an equivalence relation.
Thus, a subobject of is an equivalence class of monos into . So when we say an equalizer of maps defines a subobject of , all we really mean is that is monic. Proof: Suppose for maps . Since , we have for instance. By definition of equalizer, this means there exists a unique map for which . Uniqueness then implies are equal to this self-same , so and we are done.
Let me turn to another example of a universal construction, which has been used in one form or another for centuries: that of “function space”. For example, in the calculus of variations, one may be interested in the “space” of all (continuous) paths in a physical space , and in paths which minimize “action” (principle of least action).
If is a topological space, then one is faced with a variety of choices for topologizing the path space (denoted ). How to choose? As in our discussion last time of topologizing products, our view here is that the “right” topology will be the unique one which ensures that an appropriate universal property is satisfied.
To get started on this: the points of the path space are of course paths , and paths in the path space, , sending each to a path , should correspond to homotopies between paths, that is continuous maps ; the idea is that . Now, just knowing what paths in a space look like (homotopies between paths) may not be enough to pin down the topology on , but: suppose we now generalize. Suppose we decree that for any space , the continuous maps should correspond exactly to continuous maps , also called homotopies. Then that is enough to pin down the topology on . (We could put it this way: we use general spaces to probe the topology of .)
This principle applies not just to topology, but is extremely general: it applies to any category! I’ll state it very informally for now, and more precisely later:
Yoneda principle: to determine any object up to isomorphism, it suffices to understand what general maps mapping into it look like.
For instance, a product is determined up to isomorphism by knowing what maps into it look like [they look like pairs of maps ]. In the first lecture in the Stone duality, we stated the Yoneda principle just for posets; now we are generalizing it to arbitrary categories.
In the case at hand, we would like to express the bijection between continuous maps
as a working universal property for the function space . There is a standard “Yoneda trick” for doing this: probe the thing we seek a universal characterization of with the identity map, here . Passing to the other side of the bijection, the identity map corresponds to a map
and this is the “universal map” we need. (I called it because in this case it is the evaluation map, which maps a pair (path , point ) to , i.e., evaluates at .)
Here then is the universal characterization of the path space: a space equipped with a continuous map , satisfying the following universal property: given any continuous map , there exists a unique continuous map such that is retrieved as the composite
(for the first arrow in the composite, cf. the exercise stated at the end of the last lecture).
Exercise: Formulate a universality argument that this universal property determines up to isomorphism.
Remark: Incidentally, for any space , such a path space exists; its topology turns out to be the topology of “uniform convergence”. We can pose a similar universal definition of any function space (replacing by , mutatis mutandis); a somewhat non-trivial result is that such a function space exists for all if and only if is locally compact; the topology on is then the so-called “compact-open” topology.
But why stop there? A general notion of “exponential” object is available for any category with cartesian products: for objects of , an exponential is an object equipped with a map , such that for any , there exists a unique such that is retrieved as the composite
Example: If the category is a meet-semilattice, then (assuming exists) there is a bijection or equivalence which takes the form
iff
But wait, we’ve seen this before: is what we earlier called the implication . So implication is really a function space object!
Okay, let me turn now to the notion of natural transformation. I described the original discovery (or invention) of categories as a kind of reverse engineering (functors were invented to talk about natural transformations, and categories were invented to talk about functors). Moving now in the forward direction, the rough idea can be stated as a progression:
- The notion of functor is appropriately defined as a morphism between categories,
- The notion of natural transformation is appropriately defined as a morphism between functors.
That seems pretty bare-bones: how do we decide what the appropriate notion of morphism between functors should be? One answer is by pursuing an analogy:
- As a space of continuous functions is to the category of topological spaces, so a category of functors should be to the category of categories.
That is, we already “know” (or in a moment we’ll explain) that the objects of this alleged exponential category are functors . Since is defined by a universal property, it is uniquely determined up to isomorphism. This in turn will uniquely determine what the “right” notion of morphism between functors should be: morphisms in the exponential ! Then, to discover the nature of these morphisms, we employ an appropriate “probe”.
To carry this out, I’ll need two special categories. First, the category denotes a (chosen) category with exactly one object and exactly one morphism (necessarily the identity morphism). It satisfies the universal property that for any category , there exists a unique functor . It is called a terminal category (for that reason). It can also be considered as an empty product of categories.
Proposition: For any category , there is an isomorphism .
Proof: Left to the reader. It can be proven either directly, or by applying universal properties.
The category can also be considered an “object probe”, in the sense that a functor is essentially the same thing as an object of (just look where the object of goes to in ).
For example, to probe the objects of the exponential category , we investigate functors . By the universal property of exponentials , these are in bijection with functors . By the proposition above, these are in bijection with functors . So objects of are necessarily tantamount to functors (and so we might as well define them as such).
Now we want to probe the morphisms of . For this, we use the special category given by the poset . For if is any category and is a morphism of , we can define a corresponding functor such that , , and sends the morphism to . Thus, such functors are in bijection with morphisms of . Speaking loosely, we could call the category the “generic morphism”.
Thus, to probe the morphisms in the category , we look at functors . In particular, if are functors , let us consider functors such that and . By the universal property of , these are in bijection with functors such that the composite
equals , and the composite
equals . Put more simply, this says and for objects of , and and for morphisms of .
The remaining morphisms of have the form . Introduce the following abbreviations:
- for objects of ;
- for morphisms of .
Since is a functor, it preserves morphism composition. We find in particular that since
we have
or, using the abbreviations,
In particular, the data is redundant: it may be defined either as either side of the equation
.
Exercise: Just on the basis of this last equation (for arbitrary morphisms and objects of ), prove that functoriality of follows.
This leads us at last to the definition of natural transformation:
Definition: Let be categories and let be functors from to . A natural transformation is an assignment of morphisms in to objects of , such that for every morphism , the following equation holds: .
Usually this equation is expressed in the form of a commutative diagram:
F(f) F(c) ---> F(d) | | phi_c | | phi_d V G(f) V G(c) ---> G(d)
which asserts the equality of the composites formed by following the paths from beginning (here ) to end (here ). (Despite the inconvenience in typesetting them, commutative diagrams as 2-dimensional arrays are usually easier to read and comprehend than line-by-line equations.) The commutative diagram says that the components of the transformation are coherent or compatible with all morphisms of the domain category.
Remarks: Now that I’ve written this post, I’m a little worried that any first-timers to category theory reading this will find this approach to natural transformations a little hardcore or intimidating. In that case I should say that my intent was to make this notion seem as inevitable as possible: by taking seriously the analogy
function space: category of spaces :: functor category: category of categories
we are inexorably led to the “right” (the “natural”) notion of natural transformation as morphism between functors. But if this approach is for some a pedagogical flop, then I urge those readers just to forget it, or come back to it later. Just remember the definition of natural transformation we finally arrived at, and you should be fine. Grasping the inner meaning of fundamental concepts like this takes time anyway, and isn’t merely a matter of pure deduction.
I should also say that the approach involved a kind of leap of faith that these functor categories (the exponentials ) “exist”. To be sure, the analysis above shows clearly what they must look like if they do exist (objects are functors ; morphisms are natural transformations as we’ve defined them), but actually there’s some more work to do: one must show they satisfy the universal property with respect to not just the two probing categories and that we used, but any category .
A somewhat serious concern here is that our talk of exponential categories played pretty fast and loose at the level of mathematical foundations. There’s that worrying phrase “category of categories”, for starters. That particular phraseology can be avoided, but nevertheless, it must be said that in the case where is a large category (i.e., involving a proper class of morphisms), the collection of all functors from to is not a well-formed construction within the confines of Gödel-Bernays-von Neumann set theory (it is not provably a class in general; in some approaches it could be called a “super-class”).
My own attitude toward these “problems” tends to be somewhat blasé, almost dismissive: these are mere technicalities, sez I. The main concepts are right and robust and very fruitful, and there are various solutions to the technical “problem of size” which have been developed over the decades (although how satisfactory they are is still a matter of debate) to address the apparent difficulties. Anyway, I try not to worry about it much. But, for those fine upstanding citizens who do worry about these things, I’ll just state one set-theoretically respectable theorem to convey that at least conceptually, all is right with the world.
Definition: A category with finite products is cartesian closed if for any two objects , there exists an exponential object .
Theorem: The category of small categories is cartesian closed.
After a long hiatus (sorry about that!), I would like to resume the series on Stone duality. You may recall I started this series by saying that my own point of view on mathematics is strongly informed by category theory, followed by a little rant about the emotional reactions that category theory seems to excite in many people, and that I wouldn’t be “blathering” about categories unless a strong organic need was felt for it. Well, it’s come to that point: to continue talking sensibly about Stone duality, I really feel some basic concepts of category theory are now in order. So: before we pick up the main thread again, I’ll be talking about categories up to the point of the central concept of adjoint pairs, generalizing what we’ve discussed before in the context of truth-valued matrix algebra.
I’ll start by firmly denouncing a common belief: that category theory is some arcane, super-abstract subject. I just don’t believe that’s a healthy way of looking at it. To me, categories are no more and no less abstract than groups, rings, fields, etc. — they are just algebraic structures of a certain type (and a not too complicated type at that). That said, they are particularly ubiquitous and useful structures, which can be studied either as small structures (for example, posets provide examples of categories, and so do groups), or to organize the study of general types of structure in the large (for example, the class of posets and poset morphisms forms a category). Just think of them that way: they are certain sorts of algebraic structures which crop up just about everywhere, and it is very useful to learn something about them.
Usually, the first examples one is shown are large categories, typically of the following sort. One considers the class of mathematical structures of a given type: it could be the class of groups, or of posets, or of Boolean algebras, etc. The elements of a general such class are given the neutral name “objects”. Then, we are also interested in how the objects are related to each other, typically through transformations which “preserve” the given type of structure. In the case of sets, transformations are just functions; in the case of groups, the transformations are group homomorphisms (which preserve group multiplication, inversion, and identities); in the case of vector spaces, they are linear transformations (preserving vector addition and scalar multiplication); in the case of topological spaces, they are continuous maps (preserving a suitable notion of convergence). In general, the transformations are given the neutral name “homomorphisms”, or more often just “morphisms” or “maps”.
In all of these cases, two morphisms , compose to give a new morphism (for example the composite of two group homomorphisms is a group homomorphism), and do so in an associative way (), and also there is an identity morphism for each object which behaves as identities should ( for any morphism ). A collection of objects, morphisms between them, together with an associative law of composition and identities, is called a category.
A key insight of category theory is that in general, important structural properties of objects can be described purely in terms of general patterns or diagrams of morphisms and their composites. By means of such general patterns, the same concept (like the concept of a product of two objects, or of a quotient object, or of a dual) takes on the same form in many different kinds of category, for many different kinds of structure (whether algebraic, or topological, or analytic, or some mixture thereof) — and this in large part gives category theory the power to unify and simplify the study of general mathematical structure. It came as quite a revelation to me personally that (to take one example) the general idea of a “quotient object” (quotient group, quotient space, etc.) is not based merely on vague family resemblances between different kinds of structure, but can be made absolutely precise and across the board, in a simple way. That sort of explanatory power and conceptual unification is what got me hooked!
In a nutshell, then, category theory is the study of commonly arising structures via general patterns or diagrams of morphisms, and the general application of such study to help simplify and organize large portions of mathematics. Let’s get down to brass tacks.
Definition: A category consists of the following data:
- A class of objects;
- A class of morphisms;
- A function which assigns to each morphism its domain, and a function which assigns to each morphism its codomain. If , we write to indicate that and .
- A function , taking an object to a morphism , called the identity on .
Finally, let denote the class of composable pairs of morphisms, i.e., pairs such that . The final datum:
- A function , taking a composable pair to a morphism , called the composite of and .
These data satisfy a number of axioms, some of which have already been given implicitly (e.g., and ). The ones which haven’t are
- Associativity: for each composable triple .
- Identity axiom: Given , .
Sometimes we write for the class of objects, for the class of morphisms, and for , for the class of composable -tuples of morphisms.
Nothing in this definition says that objects of a category are “sets with extra structure” (or that morphisms preserve such structure); we are just thinking of objects as general “things” and depict them as nodes, and morphisms as arrows or directed edges between nodes, with a given law for composing them. The idea then is all about formal patterns of arrows and their compositions (cf. “commutative diagrams”). Vishal’s post on the notion of category had some picture displays of the categorical axioms, like associativity, which underline this point of view.
In the same vein, categories are used to talk about not just large classes of structures; in a number of important cases, the structures themselves can be viewed as categories. For example:
- A preorder can be defined as a category for which there is at most one morphism for any two objects . Given there is at most one morphism from one object to another, there is no particular need to give it a name like ; normally we just write to say there is a morphism from to . Morphism composition then boils down to the transitivity law, and the data of identity morphisms expresses the reflexivity law. In particular, posets (preorders which satisfy the antisymmetry law) are examples of categories.
- A monoid is usually defined as a set equipped with an associative binary operation and with a (two-sided) identity element for that operation. Alternatively, a monoid can be construed as a category with exactly one object. Here’s how it works: given a monoid , define a category where the class consists of a single object (which I’ll give a neutral name like ; it doesn’t have to be any “thing” in particular; it’s just a “something”, it doesn’t matter what), and where the class of morphisms is defined to be the set . Since there is only one object, we are forced to define and for all . In that case all pairs of morphisms are composable, and composition is defined to be the operation in : . The identity morphism on is defined to be . We can turn the process around: given a category with exactly one object, the class of morphisms can be construed as a monoid in the usual sense.
- A groupoid is a category in which every morphism is an isomorphism (by definition, an isomorphism is an invertible morphism, that is, a morphism for which there exists a morphism such that and ). For example, the category of finite sets and bijections between them is a groupoid. The category of topological spaces and homeomorphisms between them is a groupoid. A group is a monoid in which every element is invertible; hence a group is essentially the same thing as a groupoid with exactly one object.
Remark: The notion of isomorphism is important in category theory: we think of an isomorphism as a way in which objects are the “same”. For example, if two spaces are homeomorphic, then they are indistinguishable as far as topology is concerned (any topological property satisfied by one is shared by the other). In general there may be many ways or isomorphisms to exhibit such “sameness”, but typically in category theory, if two objects satisfy the same structural property (called a universal property; see below), then there is just one isomorphism between them which respects that property. Those are sometimes called “canonical” or “god-given” isomorphisms; they are 100% natural, no artificial ingredients!
Earlier I said that category theory studies mathematical structure in terms of general patterns or diagrams of morphisms. Let me give a simple example: the general notion of “cartesian product”. Suppose are two objects in a category. A cartesian product of and is an object together with two morphisms , (called the projection maps), satisfying the following universal property: given any object equipped with a map for , there exists a unique map such that for . (Readers not familiar with this categorical notion should verify the universal property for the cartesian product of two sets, in the category of sets and functions.)
I said “a” cartesian product, but any two cartesian products are the same in the sense of being isomorphic. For suppose both and are cartesian products of . By the universal property of the first product, there exists a unique morphism such that for . By the universal property of the second product, there exists a unique morphism such that . These maps and are inverse to one another. Why? By the universal property, there is a unique map (namely, ) such that for . But also satisfies these equations: (using associativity). So by the uniqueness clause of the universal property; similarly, . Hence is an isomorphism.
This sort of argument using a universal property is called a universality argument. It is closely related to what we dubbed the “Yoneda principle” when we studied posets.
So: between any two products of and , there is a unique isomorphism respecting the product structure; we say that any two products are canonically isomorphic. Very often one also has chosen products (a specific choice of product for each ordered pair ), as in set theory when we construe the product of two sets as a set of ordered pairs . We use to denote (the object part of) a chosen cartesian product of .
Exercise: Use universality to exhibit a canonical isomorphism . This is called a symmetry isomorphism for the cartesian product.
Many category theorists (including myself) are fond of the following notation for expressing the universal property of products:
where the dividing line indicates a bijection between pairs of maps and single maps into the product, effected by composing with the pair of projection maps. We have actually seen this before: when the category is a poset, the cartesian product is called the meet:
In fact, a lot of arguments we developed for dealing with meets in posets extend to more general cartesian products in categories, with little change (except that instead of equalities, there will typically be canonical isomorphisms). For example, we can speak of a cartesian product of any indexed collection of objects : an object equipped with projection maps , satisfying the universal property that for every -tuple of maps , there exists a unique map such that . Here we have a bijection between -tuples of maps and single maps:
By universality, such products are unique up to unique isomorphism. In particular, is a choice of product of the collection , as seen by contemplating the bijection between triples of maps and single maps
and similarly is another choice of product. Therefore, by universality, there is a canonical associativity isomorphism
Remark: It might be thought that in all practical cases, the notion of cartesian product (in terms of good old-fashioned sets of tuples) is clear enough; why complicate matters with categories? One answer is that it isn’t always clear from purely set-theoretic considerations what the right product structure is, and in such cases the categorical description gives a clear guide to what we really need. For example, when I was first learning topology, the box topology on the set-theoretic product seemed to me to be a perfectly natural choice of topology; I didn’t understand the general preference for what is called the “product topology”. (The open sets in the box topology are unions of products of open sets in the factors . The open sets in the product topology are unions of such products where for all but finitely many .)
In retrospect, the answer is obvious: the product topology on is the smallest topology making all the projection maps continuous. This means that a function is continuous if and only if each is continuous: precisely the universal property we need. Similarly, in seeking to understand products or other constructions of more abstruse mathematical structures (schemes for instance), the categorical description is de rigeur in making sure we get it right.
For just about any mathematical structure we can consider a category of such structures, and this applies to the notion of category itself. That is, we can consider a category of categories! (Sounds almost religious to me: category of categories, holy of holies, light of lights…)
- Remark: Like “set of sets”, the idea of category of categories taken to a naive extreme leads to paradoxes or other foundational difficulties, but there are techniques for dealing with these issues, which I don’t particularly want to discuss right now. If anyone is uncomfortable around these issues, a stopgap measure is to consider rather the category of small categories (a category has a class of objects and morphisms; a small category is where these classes are sets), within some suitable framework like the set theory of Gödel-Bernays-von Neumann.
If categories are objects, the morphisms between them may be taken to be structure-preserving maps between categories, called “functors”.
Definition: If and are categories, a functor consists of a function (between objects) and a function (between morphisms), such that
- and , for each morphism (i.e., preserves domains and codomains of morphisms);
- for each object , and for each composable pair (i.e., preserves identity morphisms and composition of morphisms).
Normally we are not so fussy in writing or ; we write and for morphisms and objects alike. Sometimes we drop the parentheses as well.
If are groups or monoids regarded as one-object categories, then a functor between them amounts to a group or monoid homomorphism. If are posets regarded as categories, then a functor between them amounts to a poset map. So no new surprises in these cases.
Exercise: Define a product of two categories , and verify that the definition satisfies the universal property of products in the “category of categories”.
Exercise: If a category has chosen products, show how a functor may be defined which takes a pair of objects to its product . (You need to define the morphism part of this functor; this will involve the universal property of products.)
In this post, I’d like to move from abstract, general considerations of Boolean algebras to more concrete ones, by analyzing what happens in the finite case. A rather thorough analysis can be performed, and we will get our first taste of a simple categorical duality, the finite case of Stone duality which we call “baby Stone duality”.
Since I have just mentioned the “c-word” (categories), I should say that a strong need for some very basic category theory makes itself felt right about now. It is true that Marshall Stone stated his results before the language of categories was invented, but it’s also true (as Stone himself recognized, after categories were invented) that the most concise and compelling and convenient way of stating them is in the language of categories, and it would be crazy to deny ourselves that luxury.
I’ll begin with a relatively elementary but very useful fact discovered by Stone himself — in retrospect, it seems incredible that it was found only after decades of study of Boolean algebras. It says that Boolean algebras are essentially the same things as what are called Boolean rings:
Definition: A Boolean ring is a commutative ring (with identity ) in which every element is idempotent, i.e., satisfies .
Before I explain the equivalence between Boolean algebras and Boolean rings, let me tease out a few consequences of this definition.
Proposition 1: For every element in a Boolean ring, .
Proof: By idempotence, we have . Since , we may additively cancel in the ring to conclude .
This proposition implies that the underlying additive group of a Boolean ring is a vector space over the field consisting of two elements. I won’t go into details about this, only that it follows readily from the proposition if we define a vector space over to be an abelian group together with a ring homomorphism to the ring of abelian group homomorphisms from to itself (where such homomorphisms are “multiplied” by composing them; the idea is that this ring homomorphism takes an element to scalar-multiplication ).
Anyway, the point is that we can now apply some linear algebra to study this -vector space; in particular, a finite Boolean ring is a finite-dimensional vector space over . By choosing a basis, we see that is vector-space isomorphic to where is the dimension. So the cardinality of a finite Boolean ring must be of the form . Hold that thought!
Now, the claim is that Boolean algebras and Boolean rings are essentially the same objects. Let me make this more precise: given a Boolean ring , we may construct a corresponding Boolean algebra structure on the underlying set of , uniquely determined by the stipulation that the multiplication of the Boolean ring match the meet operation of the Boolean algebra. Conversely, given a Boolean algebra , we may construct a corresponding Boolean ring structure on , and this construction is inverse to the previous one.
In one direction, suppose is a Boolean ring. We know from before that a binary operation on a set that is commutative, associative, unital [has a unit or identity] and idempotent — here, the multiplication of — can be identified with the meet operation of a meet-semilattice structure on , uniquely specified by taking its partial order to be defined by: iff . It immediately follows from this definition that the additive identity satisfies for all (is the bottom element), and the multiplicative identity satisfies for all (is the top element).
Notice also that , by idempotence. This leads one to suspect that will be the complement of in the Boolean algebra we are trying to construct; we are partly encouraged in this by noting , i.e., is equal to its putative double negation.
Proposition 2: is order-reversing.
Proof: Looking at the definition of the order, this says that if , then . This is immediate.
So, is an order-reversing map (an order-preserving map ) which is a bijection (since it is its own inverse). We conclude that is a poset isomorphism. Since has meets and , also has meets (and the isomorphism preserves them). But meets in are joins in . Hence has both meets and joins, i.e., is a lattice. More exactly, we are saying that the function takes meets in to joins in ; that is,
or, replacing by and by ,
whence , using the proposition 1 above.
Proposition 3: is the complement of .
Proof: We already saw . Also
using the formula for join we just computed. This completes the proof.
So the lattice is complemented; the only thing left to check is distributivity. Following the definitions, we have . On the other hand, , using idempotence once again. So the distributive law for the lattice is satisfied, and therefore we get a Boolean algebra from a Boolean ring.
Naturally, we want to invert the process: starting with a Boolean algebra structure on a set , construct a corresponding Boolean ring structure on whose multiplication is the meet of the Boolean algebra (and also show the two processes are inverse to one another). One has to construct an appropriate addition operation for the ring. The calculations above indicate that the addition should satisfy , so that if (i.e., if and are disjoint): this gives a partial definition of addition. Continuing this thought, if we express as a disjoint sum of some element and , we then conclude , whence by cancellation. In the case where the Boolean algebra is a power set , this element is the symmetric difference of and . This generalizes: if we define the addition by the symmetric difference formula , then is disjoint from , so that
after a short calculation using the complementation and distributivity axioms. After more work, one shows that is the addition operation for an abelian group, and that multiplication distributes over addition, so that one gets a Boolean ring.
Exercise: Verify this last assertion.
However, the assertion of equivalence between Boolean rings and Boolean algebras has a little more to it: recall for example our earlier result that sup-lattices “are” inf-lattices, or that frames “are” complete Heyting algebras. Those results came with caveats: that while e.g. sup-lattices are extensionally the same as inf-lattices, their morphisms (i.e., structure-preserving maps) are different. That is to say, the category of sup-lattices cannot be considered “the same as” or equivalent to the category of inf-lattices, even if they have the same objects.
Whereas here, in asserting Boolean algebras “are” Boolean rings, we are making the stronger statement that the category of Boolean rings is the same as (is isomorphic to) the category of Boolean algebras. In one direction, given a ring homomorphism between Boolean rings, it is clear that preserves the meet and join of any two elements [since it preserves multiplication and addition] and of course also the complement of any ; therefore is a map of the corresponding Boolean algebras. Conversely, a map of Boolean algebras preserves meet, join, and complementation (or negation), and therefore preserves the product and sum in the corresponding Boolean ring. In short, the operations of Boolean rings and Boolean algebras are equationally interdefinable (in the official parlance, they are simply different ways of presenting of the same underlying Lawvere algebraic theory). In summary,
Theorem 1: The above processes define functors , , which are mutually inverse, between the category of Boolean rings and the category of Boolean algebras.
- Remark: I am taking some liberties here in assuming that the reader is already familiar with, or is willing to read up on, the basic notion of category, and of functor (= structure-preserving map between categories, preserving identity morphisms and composites of morphisms). I will be introducing other categorical concepts piece by piece as the need arises, in a sort of apprentice-like fashion.
Let us put this theorem to work. We have already observed that a finite Boolean ring (or Boolean algebra) has cardinality — the same as the cardinality of the power set Boolean algebra if has cardinality . The suspicion arises that all finite Boolean algebras arise in just this way: as power sets of finite sets. That is indeed a theorem: every finite Boolean algebra is naturally isomorphic to one of the fo