The Rise and Spread of Algebraic Topology

People have been using algebraic topology in data analysis these days, so we’re starting to see conferences like this:

Applied Algebraic Topology 2017, August 8-12, 2017, Hokkaido University, Sapporo, Japan.

I’m giving the first talk at this one. I’ve done a lot of work on applied category theory, but only a bit on on applied algebraic topology. It was tempting to smuggle in some categories, operads and props under the guise of algebraic topology. But decided it would be more useful, as a kind of prelude to the conference, to say a bit about the overall history of algebraic topology, and its inner logic: how it was inevitably driven to categories, and then 2-categories, and then ∞-categories.

This may be the least ‘applied’ of all the talks at this conference, but I’m hoping it will at least trigger some interesting thoughts. We don’t want the ‘applied’ folks to forget the grand view that algebraic topology has to offer!

Here are my talk slides:

The rise and spread of algebraic topology.

Abstract. As algebraic topology becomes more important in applied mathematics it is worth looking back to see how this subject has changed our outlook on mathematics in general. When Noether moved from working with Betti numbers to homology groups, she forced a new outlook on topological invariants: namely, they are often functors, with two invariants counting as ‘the same’ if they are naturally isomorphic. To formalize this it was necessary to invent categories, and to formalize the analogy between natural isomorphisms between functors and homotopies between maps it was necessary to invent 2-categories. These are just the first steps in the ‘homotopification’ of mathematics, a trend in which algebra more and more comes to resemble topology, and ultimately abstract ‘spaces’ (for example, homotopy types) are considered as fundamental as sets. It is natural to wonder whether topological data analysis is a step in the spread of these ideas into applied mathematics, and how the importance of ‘robustness’ in applications will influence algebraic topology.

I thank Mike Shulman with some help on model categories and quasicategories. Any mistakes are, of course, my own fault.

5 Responses to The Rise and Spread of Algebraic Topology

  1. In the slides, on page 28, that η, is that supposed to be a γ?

    • John Baez says:

      I don’t see an \eta or \gamma anywhere in the talk, and especially not on page 28, which has no equations. What am I missing?

      • Huh. I swear there was another page there, involving, if I recall, three different \epsilon -Rips complexes, essentially establishing an order of sorts. Your indices of choice for that were \epsilon , \delta and \gamma , but an unused \eta could be found in the introductory paragraph just before that, instead of a \gamma . This seems to now be gone entirely. Did you update the slides or am I going crazy?

        Though as I see it right now, page 28, to me, does contain one equation:
        R_\epsilon\left(X\right) \subseteq R_\delta\left(X\right).
        You might, however, find this on page 27 instead: For my browser pdf viewer at least, there is, for some reason, one duplicate page 18/19. If that doesn’t happen on your end, you’ll probably have one page fewer. (For me there are 32 pages total)

      • John Baez says:

        I guess you were reading an archaic version of my notes! I’ve revised them many times since then, so please grab the latest version… if you want one where everything is true.

        I discovered a nasty technical mistake on the train to Sapporo. It’s fixed now, and I’ve given my talk.

  2. Robert Clark says:

    Thanks for the heads up on the conference. I’ll be sure to read your article as well.
    Way back in my graduate school days I was surprised to hear something as abstract as algebraic topology had applications to robotic vision and motion.
    I’ll be interested to read how far that application has progressed since then.

    Bob Clark

You can use Markdown or HTML in your comments. You can also use LaTeX, like this: $latex E = m c^2 $. The word 'latex' comes right after the first dollar sign, with a space after it.

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s