## Topology

# Topology: A Categorical Approach

I've been collaborating on an exciting project for quite some time now, and today I'm happy to share it with you. **There is a new topology book on the market!** *Topology: A Categorical Approach* is a graduate-level textbook that presents basic topology from the modern perspective of category theory. Coauthored with Tyler Bryson and John Terilla, *Topology* is published through MIT Press and will be released on **August 18, 2020**. But you can pre-order on Amazon now!

Here is the book's official description:

*This graduate-level textbook on topology takes a unique approach: it reintroduces basic, point-set topology from a more modern, categorical perspective. Many graduate students are familiar with the ideas of point-set topology and they are ready to learn something new about them. Teaching the subject using category theory—a contemporary branch of mathematics that provides a way to represent abstract concepts—both deepens students' understanding of elementary topology and lays a solid foundation for future work in advanced topics.*

*After presenting the basics of both category theory and topology, the book covers the universal properties of familiar constructions and three main topological properties—connectedness, Hausdorff, and compactness. It presents a fine-grained approach to convergence of sequences and filters; explores categorical limits and colimits, with examples; looks in detail at adjunctions in topology, particularly in mapping spaces; and examines additional adjunctions, presenting ideas from homotopy theory, the fundamental groupoid, and the Seifert van Kampen theorem. End-of-chapter exercises allow students to apply what they have learned. The book expertly guides students of topology through the important transition from undergraduate student with a solid background in analysis or point-set topology to graduate student preparing to work on contemporary problems in mathematics.*

# Is the Square a Secure Polygon?

In this week's episode of PBS Infinite Series, I shared the following puzzle:

*Consider a square in the xy-plane, and let A (an "assassin") and T (a "target") be two arbitrary-but-fixed points within the square. **Suppose that the square behaves like a billiard table, so that any ray (a.k.a "shot") from the assassin will bounce off the sides of the square, with the angle of incidence equaling the angle of reflection. Puzzle: Is it possible to block any possible shot from A to T by placing a finite number of points in the square?*

# Brouwer's Fixed Point Theorem (Proof)

Today I'd like to talk about Brouwer's Fixed Point Theorem. *Literally!* It's the subject of this week's episode on PBS Infinite Series. Brouwer's Fixed Point Theorem is a result from topology that says no matter how you stretch, twist, morph, or deform a disc (so long as you don't tear it), there's always one point that ends up in its original location.

# Topology vs. "A Topology" (cont.)

This blog post is a continuation of today's episode on PBS Infinite Series, "Topology vs. 'a' Topology." My hope is that this episode and post will be helpful to anyone who's heard of topology and thought, "Hey! This sounds cool!" then picked up a book (or asked Google) to learn more, only to find those formidable three axioms of 'a topology' that, admittedly *do not *sound cool. But it turns out those axioms are what's "under the hood" of the whole topological business! So without further ado, let's pick up where we left off in the video.

# "One-Line" Proof: Fundamental Group of the Circle

Once upon a time I wrote a six-part blog series on why the fundamental group of the circle is isomorphic to the integers. (You can read it here, though you may want to grab a cup of coffee first.) Last week, I shared a proof* of the same result. In one line*. On Twitter. *I also included a fewer-than-140-characters explanation. But the ideas are so cool that I'd like to elaborate a little more.

# The Sierpinski Space and Its Special Property

Last time we chatted about a pervasive theme in mathematics, namely that *objects are determined by their relationships with other objects, *or more informally, you can learn a lot about an object by studying its interactions with other things. Today I'd to give an explicit illustration of this theme in the case when "objects" = topological spaces and "relationships with other objects" = continuous functions. The goal of this post, then, is to convince you that *the topology on a space is completely determined by the set of all continuous functions to it.*

# Clever Homotopy Equivalences

You know the routine. You come across a topological space $X$ and you need to find its fundamental group. Unfortunately, $X$ is an unfamiliar space and it's too difficult to look at explicit loops and relations. So what do you do? You look for another space $Y$ that is *homotopy equivalent* to $X$ and whose fundamental group $\pi_1(Y)$ is much easier to compute. And voila! Since $X$ and $Y$ are homotopy equivalent, you know $\pi_1(X)$ is isomorphic to $\pi_1(Y)$. Mission accomplished.

Below is a list of some homotopy equivalences which I think are pretty clever and useful to keep in your back pocket for, say, a qualifying exam or some other pressing topological occasion.

# (Co)homology: A Poem

I was recently (avoiding doing my homology homework by) reading through some old poems by Shel Silverstein, author of *The Giving Tree*, *A Light in the Attic,* and *Falling Up* to name a few. Feeling inspired, I continued to procrastinate by writing a little poem of my own - about homology, naturally!

# Classifying Surfaces (CliffsNotes Version)

My goal for today is to provide a step-by-step guideline for classifying closed surfaces. (By 'closed,' I mean a surface that is compact and has no boundary.) The information below may come in handy for any topology student who needs to know just the basics (for an exam, say, or even for other less practical (but still mathematically elegant) endeavors) so there won't be any proofs today. Given a polygon with certain edges identified, we can determine the surface that it represents in just three easy steps:

# Topological Magic: Infinitely Many Primes

A while ago, I wrote about the importance of open sets in topology and how the properties of a topological space $X$ are highly dependent on these special sets. In that post, we discovered that the real line $\mathbb{R}$ can either be compact or non-compact, depending on which topological glasses we choose to view $\mathbb{R}$ with. Today, I’d like to show you another such example - one which has a surprising consequence!

# The Fundamental Group of the Real Projective Plane

The goal of today's post is to prove that the fundamental group of the real projective plane, is isomorphic to $\mathbb{Z}/2\mathbb{Z}$ And unlike our proof for the fundamental group of the circle, today's proof is fairly short, thanks to the van Kampen theorem! To make our application of the theorem a little easier, we start with a simple observation: *projective plane - disk = Möbius strip*. Below is an excellent animation which captures this quite clearly....

# The Fundamental Group of the Circle, Part 6

Welcome to the final post in a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. Today we prove two lemmas (the path- and homotopy-lifting properties) that were used in parts four and five. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# A Recipe for the Universal Cover of X⋁Y

Below is a general method —a recipe, if you will —for computing the universal cover of the wedge sum $X\vee Y$ of arbitrary topological spaces $X$ and $Y$. This is simply a short-and-quick guideline that my prof mentioned in class, and I thought it'd be helpful to share on the blog. To help illustrate each step, we'll consider the case when $X=T^2$ is the torus and $Y=S^1$ is the circle.

# The Fundamental Group of the Circle, Part 5

Welcome to part five of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we prove that our homomorphism from $\mathbb{Z}$ to $\pi_1(S^1)$ is injective. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# The Fundamental Group of the Circle, Part 4

Welcome to part four of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we prove that our homomorphism from $\mathbb{Z}$ to $\pi_1(S^1)$ is surjective. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# The Fundamental Group of the Circle, Part 3

Welcome to part three of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we prove that our map from $\mathbb{Z}$ to $\pi_1(S^1)$ is a group homomorphism. The proof follows that found in Hatcher's Algebraic Topology section 1.1.

# The Fundamental Group of the Circle, Part 2

Welcome to part two of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we justify a shortcut that we never actually use in the remainder of this series, so the reader is welcome to skip this post. But I've included it since, in this series, we're closely following section 1.1 of Hatcher's Algebraic Topology.

# The Fundamental Group of the Circle, Part 1

Welcome to part one of a six-part series where we prove that the fundamental group of the circle $\pi_1(S^1)$ is isomorphic to $\mathbb{Z}$. In this post we define a map from $\mathbb{Z}$ to $\pi_1(S^1)$ and make some simple observations via pictures and an animation! The proof follows that found in Hatcher's Algebraic Topology</a>, section 1.1.

# Open Sets Are Everything

In today's post I want to emphasize a simple - but important - idea in topology which I think is helpful for anyone new to the subject, and that is: **Open sets are everything! **What do I mean by that? Well, for a given set $X$, *all the properties of $X$ are HIGHLY dependent on how you define an "open set." *

# On Connectedness, Intuitively

Today's post is a bit of a ramble, but my goal is to uncover the intuition behind one of the definitions of a connected topological space. Ideally, this is just a little tidbit I'd like to stash in The Back Pocket. But as you can tell already, the length of this post isn't so "little"! Oh well, here we go!

# Compact + Hausdorff = Normal

The notion of a topological space being *Hausdorff* or *normal *identifies the degree to which points or sets can be "separated." In a Hausdorff space, it's guaranteed that if you pick any two distinct points in the space -- say $x$ and $y$ -- then you can *always *find an open set containing $x$ and an open set containing $y$ such that those two sets don't overlap.