Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

July 30, 2013

Keep Calm and Carry One

Posted by Tom Leinster

Here’s a short diversion. My friend and mathematical big sister Audrey Tan, who’s a professional maths tutor in her native New Zealand, has been waging a campaign for the NZ government to return column addition to the early primary school curriculum. Primary school seems to be ages 5–12, so I guess “early primary” means kids aged 5–8 or so.

What’s column addition? It’s the way I, and probably you, add up natural numbers with pen and paper:

example of column addition

(Demonstration here, on the off-chance that you have no idea what this picture means.) For reasons I don’t understand, the NZ government has decided that this isn’t worth teaching in the first few years. Audrey thinks that’s madness, and is trying hard to put it right.

(Since this has caused some confusion, let me clarify: in NZ, column addition is taught, but much later than you might expect — not until the kids are about ten and have, supposedly, already digested the concept of place value.)

I’m curious to know: is this the method you learned when you were very little? Or did you learn to add some other way?

Posted at 5:48 PM UTC | Permalink | Followups (30)

July 29, 2013

Integral Octonions (Part 3)

Posted by John Baez

You’ve probably heard about E8. It’s the name of several closely connected structures: a Lie group, a Lie algebra, a Coxeter group and a lattice in 8 dimensions.

The lattice in 8 dimensions is what concerns me most right now, because this lattice underlies the Cayley integers: the ‘integral octonions’ that are the theme of this little series. You can think of the integral octonions as giving the E 8\mathrm{E}_8 lattice a multiplication making it into a nonassociative division ring.

But before getting into the multiplicative aspects, it’s good to be thoroughly familiar with the additive and geometrical aspects. So, let’s start with a few calculations with E 8\mathrm{E}_8 and get to know it as a lattice in 8-dimensional Euclidean space. Then let’s think a bit about how it’s related to the Lie algebra E 8\mathrm{E}_8, and the smaller Lie algebras E 7\mathrm{E}_7 and E 6\mathrm{E}_6.

All this stuff is fun in its own right, but it will also come in handy later if this series progresses as I’m imagining. Part 1 and Part 2 were very sketchy. But ideally, I’d like to show you the algebra and geometry related to Cayley integers very vividly, and for that we need some details.

Posted at 2:59 PM UTC | Permalink | Followups (20)

July 28, 2013

Minhyong Kim in The Reasoner

Posted by David Corfield

I recently interviewed Minhyong Kim for Kent’s in-house magazine, The Reasoner, where it now appears in the August. As before with Urs, beware the abrupt transition to the following article.

Reading this,

The work that occupies me most right now, arithmetic homotopy theory, concerns itself very much with arithmetic moduli spaces that are similar in nature and construction to moduli spaces of solutions to the Yang-Mills equation,

one could dream of connections to Urs’ work.

Posted at 8:28 AM UTC | Permalink | Followups (8)

Cohomology Detects Failures of Classical Mathematics

Posted by Mike Shulman

Ordinarily I try to avoid cross-posting between here and the Homotopy Type Theory blog, but this remark seems probably of interest to the crowd here as well. After my recent post there about how to define cohomology in HoTT, Zhen Lin kindly pointed me to a very nice paper of Andreas Blass called Cohomology detects failures of the axiom of choice. A main result of this paper is that the following two statements are equivalent (over ZF):

  • The axiom of choice.
  • For any discrete set XX and any (not necessarily abelian) group GG, the cohomology H 1(X;G)H^1(X;G) vanishes.

The fact that discrete spaces have no higher cohomology is “obvious” in classical algebraic topology, but this shows that if we want to do homotopy theory “constructively” then we need to give up that expectation. In this post I want to explain one of Blass’s proofs from a geometric point of view, and then consider what cohomology has to say about the law of excluded middle.

Posted at 5:43 AM UTC | Permalink | Followups (9)

July 25, 2013

Integral Octonions (Part 2)

Posted by John Baez

Last time I said that sitting inside the octonions 𝕆\mathbb{O} there’s a subset called the ‘Cayley integers’

O𝕆, \mathbf{O} \subset \mathbb{O} ,

closed under addition and multiplication. Geometrically speaking, this is a rescaled copy of the E 8\mathrm{E}_8 lattice sitting inside 8-dimensional Euclidean space. And I said this gives rise to a discrete subgroup

PSL 2(O)PSL 2(𝕆) PSL_2(\mathbf{O}) \subset PSL_2(\mathbb{O})

where PSL 2(𝕆)PSL_2(\mathbb{O}) is a Lie group isomorphic to SO 0(9,1)SO_0(9,1), the identity component of the Lorentz group of 10-dimensional Minkowski spacetime. Just as the more familiar group PSL(2,)SO 0(2,1)PSL(2,\mathbb{R}) \cong SO_0(2,1) acts as symmetries of the hyperbolic plane, PSL 2(𝕆)SO 0(9,1)PSL_2(\mathbb{O}) \cong SO_0(9,1) acts as symmetries of a 9-dimensional hyperbolic space.

Now I’d like to say a bit about what this does for us. In particular, how it relates 11-dimensional supergravity to the game of billiards!

I would also like to explain in vivid detail what the Cayley integers and the action of PSL 2(O)PSL_2(\mathbf{O}) ‘look like’—along with some lower-dimensional examples that arise from other kinds of integers inside the real numbers, complex numbers and quaternions. That would force me to learn some interesting things. But I think it’s better to start by zipping through the big picture, and then returning to details later if I have time.

Posted at 6:33 AM UTC | Permalink | Followups (4)

July 24, 2013

Higher Compactness

Posted by Mike Shulman

Higher category theorists enjoy categorifying stuff. That word can mean lots of things, but one thing it can mean is to take some familiar 1-category, embed it naturally into a higher category, and then try to extend some of the appropriate theory. And one of the threads in topos theory is to do this with topology, where we start with the 1-category of topological spaces.

Posted at 9:30 PM UTC | Permalink | Followups (15)

July 23, 2013

Integral Octonions (Part 1)

Posted by John Baez

This is not particularly about nn-categories, but it’s related — somehow — to John Huerta’s work on division algebras and Lie n-superalgebras, which are the nn-categorified versions of Lie superalgebras, which in turn are the supersymmetric versions of Lie algebras.

You see, some of the most exciting Lie nn-superalgebras are those extending the Lie algebra of the Lorentz group in 10 or 11 dimensions, and these can be built using the octonions. The reason is that 10d Minkowski spacetime can be identified with the space 𝔥 2(𝕆)\mathfrak{h}_2(\mathbb{O}) consisting of 2×22 \times 2 hermitian matrices with octonions as entries. Thanks to this, the corresponding Lorentz group, the identity component of SO(9,1)SO(9,1), can be identified with PSL(2,𝕆)PSL(2,\mathbb{O}). It is somewhat tricky to define PSL(2,𝕆)PSL(2,\mathbb{O}), because the octonions are nonassociative, but it can be done, and this caps off a very nice sequence of isomorphisms:

PSL(2,) SO 0(2,1) PSL(2,) SO 0(3,1) PSL(2,) SO 0(5,1) PSL(2,𝕆) SO 0(9,1). \begin{array}{ccl} PSL(2,\mathbb{R})& \cong &SO_0(2,1) \\ PSL(2,\mathbb{C})& \cong &SO_0(3,1) \\ PSL(2,\mathbb{H})& \cong &SO_0(5,1) \\ PSL(2,\mathbb{O})& \cong &SO_0(9,1) . \end{array}

Now I’d like I describe how this interacts with a further marvelous fact: the existence of ‘octonionic integers’.

Posted at 3:19 PM UTC | Permalink | Followups (8)

July 10, 2013

A Weighted Limits Proof of Monadicity

Posted by Emily Riehl

Since the 1970s, it has been known that the Eilenberg-Moore object (EM-object) associated with a monad in a 2-category 𝒦\mathcal{K} can be characterized as a weighted limit. An element of the limit of a Set-valued diagram can be thought of as a cone over that diagram. Similarly, in the case of a monad in Cat, an object of this weighted limit, more commonly called an algebra for the monad, is exactly a cone over the monad diagram whose shape is described by the weight.

Using the weighted limits formalism, EM-objects in a 2-category are defined representably. It follows that the monadicity theorem characterizing EM-objects and their monadic adjunction can be deduced representably from the monadicity theorem in Cat. Despite this fact, I want to give a direct proof of the 2-categorical monadicity theorem to illustrate that a suitable reinterpretation of Beck’s proof is “all in the weights.” To begin, we’ll use weighted limits to characterize the monadic adjunction. It follows immediately that any adjunction inducing the same monad has a comparison map to the monadic adjunction. Inspecting the weights, we observe that the monadic forgetful functor is conservative. We also show that any object in the EM-object is the colimit of a canonical diagram, itself described by a weighted limit, and the monadic forgetful functor preserves these colimits. If the domain of the comparison map admits certain colimits, this map has a left adjoint. If the forgetful functor is conservative, then the comparison adjunction is an adjoint equivalence.

The point of all this is that the 2-functors defining these weights can be interpreted as simplicial functors. The same discussion, with only minimal modifications, then gives a (formal!) proof of the monadicity theorem for homotopy coherent adjunctions of quasi-categories. I’ll be speaking about this in Sydney this week and Warsaw later this month. This is joint work with Dominic Verity.

Posted at 12:02 PM UTC | Permalink | Followups (2)

Synthetic ∞-Groupoid Theory

Posted by Mike Shulman

This week I’m at the 2013 International Category Theory conference in Syndey, Australia, along with our co-hosts Tom and Emily (and a bunch of other people (-: ). There’s a lot of interesting stuff being said that I don’t have time to write about right now, but I thought I would go ahead and post the slides for my own talk that I gave yesterday, since I’ve had one or two requests:

  • Homotopy type theory: towards Grothendieck’s dream (pdf slides)
Posted at 1:14 AM UTC | Permalink | Followups (14)

July 8, 2013

The First Commutative Diagram?

Posted by Tom Leinster

At lunch today at Category Theory 2013 in Sydney, a bunch of us were talking about the mathematical work of Bertrand Russell, and I remembered this:

Commutative square from Rusell's 1919 book Introduction to Mathematical Philosophy

It’s from Russell’s 1919 book Introduction to Mathematical Philosophy, and it’s essentially a commutative square in the category of sets and relations, although the notation is very slightly different from how we’d do it now. Click on the image to see the whole page.

I was very surprised to see a commutative diagram from 1919. This was more than twenty years before the birth of category theory. Indeed, I’m not sure that the arrow notation for mappings was commonplace back then. Does anyone know of an earlier example of a commutative diagram in print?

Posted at 5:38 AM UTC | Permalink | Followups (29)

July 7, 2013

Whitney Twists

Posted by Tom Leinster

I’m sitting on a plane to Sydney for Category Theory 2013, the major annual gathering of category theorists. At some point I’ll write about the talk I’m giving, which answers the question about ultraproducts posed here and here. But today I’m going to tell you why these two graphs have the same magnitude:

Two graphs differing by a Whitney twist

The magnitude of a graph GG is a somewhat mysterious rational function associated to GG. It was the subject of vigorous discussion back here, largely provoked by David Speyer and Simon Willerton. I’ll repeat the definition.

Posted at 7:14 AM UTC | Permalink | Followups (9)