CGP Grey is a youtuber with a variety of interesting videos, often about the quirks of geography and political boundaries. In this video, he asks the question “How many continents are there?”, discusses a variety of subtleties in the notion of “continent”, and concludes that it is not well-defined enough to provide an answer.

Let’s grant that “continent” is not a well-defined term; or, to put it another way, the set of continents is not a well-defined set. Even given that, it turns out there’s a mathematical notion of a “variable set”, or “set-valued sheaf” that can capture the notion of a set which can vary under different assumptions. Intuitively a set-valued sheaf on a topological space is like a continuous function with domain , except the range is not another topological space, it’s the category of all sets!

Rather than define “sheaf of sets on a topological space” explicitly, let’s work through what it means in the CGP Grey case. For simplicitly, let’s just focus on two of the things that CGP Grey mentions: the meaning of “continent” can vary depending on how large you require a continent to be, and the meaning of “continent” can vary depending on how separated you require two continents to be to count as distinct.

Since these are two independent parameters, let’s take our topological space to be . The first coordinate will represent our “looseness about the size requirement”; i.e., if it’s larger, we’ll consider smaller islands to be continents. The second coordinate will represent our “degree of consideration of land bridges”; i.e., if it’s larger, we’ll require larger amounts of water to separate two continents.

To be clear, these parameters are *subjective*: that is, I’m not postulating any quantitative correspondence between the parameters and, e.g., a minimum size requirement to be a continent.

Now let’s see what the variable set of continents might look like. First, let’s set the second parameter to 0 and vary the first parameter. The set might look like this:

Note that some continents, like South America, are always in the set of continents, but as the parameter gets loosened, other elements get added to the set.

Now, let’s set the first parameter to 0 and vary the second one. That graph might look like this:

This is a little more subtle than the previous graph; instead of new continents getting added, two continents which are distinct might become equal: Europe and Asia quickly become equal, as there is actually no ocean between them at all. If you disregard the Panama Canal, North America and South America become one continent. If you disregard the Suez Canal, Eurasia and Africa become one continent.

Now, we’ve only looked at two slices of this variable set (and even those two slices have been under-specified, since I haven’t said in complete detail how to interpret the two parameters). But let’s suppose that the full variable set on can be filled out to give a set-valued sheaf called .

Given that, what can we do with this? Well, one of the reason sheaves are interesting from a logical perspective is that if we consider the category of all set-valued sheaves on (or any fixed topological space), this forms a type of category called a topos which acts so much like the category of sets that we can actually pretend that its elements *are* sets, and do normal set theory in it. The only proviso is that the internal logic does not include the law of the excluded middle: the axiom that for any proposition .

So, what are some things you can do in this logic where we get to pretend that is a genuine set?

Well, we know that has elements: we know there is a thing called that’s in , and a thing called that’s in and so on. We *don’t *know there’s a thing called that’s in ; I’ll show how to deal with that later.

This is where the lack of the law excluded middle first rears its head: in this logic it is *neither* the case that , *nor *that ! On the other hand, it *is *the case that . This might seem unusual with ordinary sets, but I think it’s pretty intuitive here. Note that there can be relationships between these facts, e.g., implies .

In normal set theory, you can determine the cardinality of any set. And in fact, the video’s stated aim is to say what the cardinality is. One of the consequences of losing the law of the excluded middle is that the notion of *finiteness* becomes more subtle (e.g., see here or here), which again seems appropriate here. It turns out to be the case that is what’s called *subfinite*, but doesn’t have a definite cardinality.

However, there are still true things using the cardinality of in them: for example, assuming no continents other than the ones in the graphs above are added, it’s the case that the cardinality of is less than 11 (even though the cardinality does not equal a specific number below 11). For another example, there might be a relationship between the two parameters such that something like implies the number of continents is greater than 7 is true.

OK, so far we’ve discussed how the logic handles things like the possibility of two continents becoming equal. How does it handle the conditional *existence* of continents like Borneo? So far it’s not clear how to even talk about these things in the language.

To explain that, we have to back up a bit. In normal set theory, there are sets with one element, and we might as well pick a distinguished one, call it . Note that for any set (still in normal set theory), the elements of are in 1-1 correspondence with maps ; so we could as well talk about those maps instead of elements of .

Similarly, in the theory of set-valued sheaves on , there is also a set , and instead of saying that continents like are elements of , we could have instead talked about maps from to and relationships between them.

Now, in normal set theory, has only two subsets: itself and the empty set. But that proof depends on excluded middle (since it goes by asking whether or not is in a given subset), so if we drop it, it’s no longer necessarily true. Indeed, in this logic, there is a subset of , call it , that is not the empty set and not . Furthermore, there is a map, , from to . The fact that this map has domain instead of represents the conditional nature of Borneo’s existence as an element of .

Just as with the equality hypotheses, we can represent relationships between conditional existences: for example, if Greenland is a continent whenever Borneo is, we have a map from to . If there are at least 7 continents whenever Borneo exists, we have a map from to .

Toposes were invented in the service of algebraic geometry (see here for a good account of the history of this topic). However, I think they also provide a beautiful account of how set theory can take account of fuzzy concepts. See here for more on this notion of variable sets.

Mike, first off: thank you so much for writing this. I think, like your étale post, this is going to be one of the big posts I share a lot.

I want to add though, that I watched a few CGP Grey videos and I find the thought of him impacting millions of minds scary. All of his “facts” are delivered without reference or proof, in a confident voice, wrapping up a tidy narrative. Then at the end it’s revealed that he’s summarising a contentious book or author (eg, Guns Germs & Steel; Bruce Bueno de Mesquita).

He actually refers to BBdM’s book as “the best book on politics … ever”. As I had been watching the Rules for Rulers book I thought it all sounded familiar … like it was lifted out of Acemoglu/Robinson. But the tone was oddly familiar (same “neat”, “I-can-explain-it-all” tone of EconTalk and LessWrong). Voila. Who comes next after Jared Diamond? Steven Pinker? Angela Duckworth? Malcolm Gladwell? The “only book you need to read on the topic” (especially with such a broad word as “politics”) makes me think CGP Grey doesn’t read broadly or think deeply.

————————-

I was thinking about why the LessWrong authors are so popular the other day, and I think it’s for the same reason (and probably to a ∩ cohort): these people are attracted to simple†, broad‡, consistent explanations.

† but not trivial https://ncatlab.org/nlab/show/too+simple+to+be+simple — it needs to fit in a single mind within less than a year, yet take some work to learn — eg Bayes’ rule

‡ extremely true with various forms of economism, including EconTalk and LessWrong

For me his videos (when I know a bit about the topic) are great examples of “just so” narratives: a neat package with just the right amount of complexity, delivered on your doorstep in an authoritative fashion with no work required on the listener/reader/viewer’s part. Compare to the so-called “Mpemba effect” (http://math.ucr.edu/home/baez/physics/General/hot_water.html). For me, this “effect” illustrates a sociology/psychology-of-science phenomenon: a simple, consistent, broadly applicable theory (harder to learn than economism/Bayesianism) called “Everything is a harmonic oscillator, and I should know because I’m a professor of physics, whereas you don’t understand maths” — faces off against the direct first-hand experience of untutored people — and wins.

Some of Grey’s videos don’t even stand up to basic scrutiny. In the “two brains” video (¡another contentious theory!), he talks about “asking the left brain” and “asking the right brain”. It’s not clear to me how one asks a particular side of the subject’s brain, but I did just try writing my name with both hands at once (tsungfruve.wordpress.com has apparently practiced too https://www.youtube.com/watch?v=9VJC_oIdSGY), both left-to-right and inside-out (da vinci style with the left), compared it to drawing freehand with each hand individually, and did not find the ambidextrous version notably harder. (I also tried drawing different figures with the different hands, and putting a divider between my eyes.)

—————————-

I’m not sure if you care one way or the other about CGP Grey, but I plan to share this excellent post widely, and I want to make it clear to everyone I share it with that I am up-voting

you, but not CGP Grey.Thanks again for another wonderful post.