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.

October 18, 2018

Analysis in Higher Gauge Theory

Posted by John Baez

Higher gauge theory has the potential to describe the behavior of 1-dimensional objects and higher-dimensional membranes much as ordinary gauge theory describes the behavior of point particles. But ordinary gauge theory is also a source of fascinating differential equations, which yield interesting results about topology if one uses enough analysis to prove rigorous results about their solutions. What about higher gauge theory?

Andreas Gastel has a new paper studying higher gauge theory using some techniques of analysis that are commonly used in ordinary gauge theory. He’s finding some interesting similarities but also some ways in which higher gauge theory is simpler:

Abstract. We study the problem of finding good gauges for connections in higher gauge theories. We find that, for 2-connections in strict 2-gauge theory and 3-connections in 3-gauge theory, there are local “Coulomb gauges” that are more canonical than in classical gauge theory. In particular, they are essentially unique, and no smallness of curvature is needed in the critical dimensions. We give natural definitions of 2-Yang-Mills and 3-Yang-Mills theory and find that the choice of good gauges makes them essentially linear. As an application, (anti-)selfdual 2-connections over B 6B^6 are always 2-Yang-Mills, and (anti-)selfdual 3-connections over B 8B^8 are always 3-Yang-Mills.

Posted at 9:14 PM UTC | Permalink | Post a Comment

October 14, 2018

Topoi of G-sets

Posted by John Baez

I’m thinking about finite groups these days, from a Klein geometry perspective where we think of a group GG as a source of GG-sets. Since the category of GG-sets is a topos, this lets us translate concepts, facts and questions about groups into concepts, facts and questions about topoi. I’m not at all good at this, so here are a bunch of basic questions.

Posted at 5:36 PM UTC | Permalink | Followups (62)

October 3, 2018

Category Theory 2019

Posted by Tom Leinster

The major annual category theory conference will be held in Edinburgh next year:

Category Theory 2019

University of Edinburgh

7-13 July 2019

Organizing committee: Steve Awodey, Richard Garner, Chris Heunen, Tom Leinster, Christina Vasilakopoulou.

As John has just pointed out, this is followed two days later by the Applied Category Theory conference and school in Oxford, very conveniently for anyone wishing to go to both.

Posted at 11:27 PM UTC | Permalink | Followups (2)

October 2, 2018

Applied Category Theory 2019

Posted by John Baez

I’m helping organize ACT 2019, an applied category theory conference and school at Oxford, July 15-26, 2019. Here’s a ‘pre-announcement’.

More details will come later, but here’s some good news: it’s right after the big annual worldwide category theory conference, which is in Edinburgh in 2019. So, conference-hopping category theorists can attend both!

Posted at 5:00 PM UTC | Permalink | Followups (6)

September 26, 2018

A Communal Proof of an Initiality Theorem

Posted by Mike Shulman

One of the main reasons I’m interested in type theory in general, and homotopy type theory (HoTT) in particular, is that it has categorical semantics. More precisely, there is a correspondence between (1) type theories and (2) classes of structured categories, such that any proof in a particular type theory can be interpreted into any category with the corresponding structure. I wrote a lot about type theory from this perspective in The Logic of Space. The basic idea is that we construct a particular structured category SynSyn out of the syntax of the type theory, and prove that it is the initial such category. Then we can interpret any syntactic object AA in a structured category CC by regarding AA as living in SynSyn and applying the unique structured functor SynCSyn\to C.

Unfortunately, we don’t currently have any very general definitions of what “a type theory” is, what the “corresponding class of structured categories” is, or a very general proof of this “initiality theorem”. The idea of such proofs is easy — just induct over the construction of syntax — but its realization in practice can be long and tedious. Thus, people are understandably reluctant to take the time and space to write out such a proof explicitly, when “everyone knows” how the proof should go and probably hardly anyone would really read such a proof in detail anyway. This is especially true for dependent type theory, which is qualitatively more complicated in various ways than non-dependent type theories; to my knowledge only one person (Thomas Streicher) has ever written out anything approaching a complete proof of initiality for a dependent type theory.

Posted at 8:01 PM UTC | Permalink | Followups (36)

Applied Category Theory Course: Collaborative Design

Posted by John Baez

My online course is now done. We finished the fourth chapter of Fong and Spivak’s book Seven Sketches—my classes at U.C.R. are starting up now, so I had to stop there.

Chapter 4 is about collaborative design: building big projects from smaller parts. This is based on work by Andrea Censi:

The main mathematical content of this chapter is the theory of enriched profunctors. We’ll mainly talk about enriched profunctors between categories enriched in monoidal preorders. The picture above shows what one of these looks like!

Posted at 6:01 AM UTC | Permalink | Post a Comment

September 21, 2018

A Pattern That Eventually Fails

Posted by John Baez

Sometimes you check just a few examples and decide something is always true. But sometimes even 1.5×10 431.5 \times 10^{43} examples is not enough.

Posted at 5:05 PM UTC | Permalink | Followups (6)

September 20, 2018

Cartesian Double Categories

Posted by Mike Shulman

In general, there are two kinds of bicategories: those like CatCat and those like SpanSpan. In the CatCat-like ones, the morphisms are “categorified functions”, which generally means some kind of “functor” between some kind of “category”, consisting of functions mapping objects and arrows from domain to codomain. But in the SpanSpan-like ones (which includes ModMod and ProfProf), the morphisms are not “functors” but rather some kind of “generalized relations” (including spans, modules, profunctors, and so on) which do not map from domain to codomain but rather relate the domain and codomain in some way.

In SpanSpan-like bicategories there is usually a subclass of the morphisms that do behave like categorified functions, and these play an important role. Usually the morphisms in this subclass all have right adjoints; sometimes they are exactly the morphisms with right adjoints; and often one can get away with talking about “morphisms with right adjoints” rather than making this subclass explicit. However, it’s also often conceptually and technically helpful to give the subclass as extra data, and arguably the most perspicuous way to do this is to work with a double category instead. This was the point of my first published paper, though others had certainly made the same point before, and I think more and more people are coming to recognize it.

Today a new installment in this story appeared on the arXiv: Cartesian Double Categories with an Emphasis on Characterizing Spans, by Evangelia Aleiferi. This is a project that I’ve wished for a while someone would do, so I’m excited that at last someone has!

Posted at 7:22 PM UTC | Permalink | Followups (12)

September 19, 2018

p-Local Group Theory

Posted by John Baez

I’ve been trying to learn a bit of the theory of finite groups. As you may know, Sylow’s theorems say that if you have a finite group GG, and p kp^k is the largest power of a prime pp that divides the order of GG, then GG has a subgroup of order p kp^k, which is unique up to conjugation. This is called a Sylow pp-subgroup of GG.

Sylow’s theorems also say a lot about how many Sylow pp-subgroups GG has. They also say that any subgroup of GG whose order is a power of pp is contained in a Sylow pp-subgroup.

I didn’t like these theorems as an undergrad. The course I took whizzed through them in a desultory way. And I didn’t go after them myself: I was into group theory for its applications to physics, and the detailed structure of finite groups doesn’t look important when you’re first learning physics: what stands out are continuous symmetries, so I was busy studying Lie groups.

Since I didn’t really master Sylow’s theorems, and had no strong motive to do so, I didn’t like them — the usual sad story of youthful mathematical distastes.

But now I’m thinking about Sylow’s theorems again, especially pleased by Robert A. Wilson’s one-paragraph proof of all three of these theorems in his book The Finite Simple Groups. And I started wondering if the importance of groups of prime power order — which we see highlighted in Sylow’s theorems and many other results — is all related to localization in algebraic topology, which is a technique to focus attention on a particular prime.

Posted at 3:52 PM UTC | Permalink | Followups (37)

September 18, 2018

What is Applied Category Theory?

Posted by John Baez

Tai-Danae Bradley has a new free book:

Abstract. This is a collection of introductory, expository notes on applied category theory, inspired by the 2018 Applied Category Theory Workshop, and in these notes we take a leisurely stroll through two themes (functorial semantics and compositionality), two constructions (monoidal categories and decorated cospans) and two examples (chemical reaction networks and natural language processing) within the field.

This book grew out of the workshop Applied Category Theory 2018, which she attended. I think it makes a great complement to Fong and Spivak’s Seven Sketches and my online course.

Check it out!

Posted at 7:44 PM UTC | Permalink | Followups (6)

September 5, 2018

A Categorical Look at Random Variables

Posted by Tom Leinster

guest post by Mark Meckes

For the past several years I’ve been thinking on and off about whether there’s a fruitful category-theoretic perspective on probability theory, or at least a perspective with a category-theoretic flavor.

(You can see this MathOverflow question by Pete Clark for some background, though I started thinking about this question somewhat earlier. The fact that I’m writing this post should tell you something about my attitude toward my own answer there. On the other hand, that answer indicates something of the perspective I’m coming from.)

I’m a long way from finding such a perspective I’m happy with, but I have some observations I’d like to share with other n-Category Café patrons on the subject, in hopes of stirring up some interesting discussion. The main idea here was pointed out to me by Tom, who I pester about this subject on an approximately annual basis.

Posted at 10:24 PM UTC | Permalink | Followups (35)

August 27, 2018

Exceptional Quantum Geometry and Particle Physics

Posted by John Baez

It would be great if we could make sense of the Standard Model: the 3 generations of quarks and leptons, the 3 colors of quarks vs. colorless leptons, the way only the weak force notices the difference between left and right, the curious gauge group SU(3)×SU(2)×U(1)\mathrm{SU}(3) \times \mathrm{SU}(2)\times \mathrm{U}(1), the role of the Higgs boson, and so on. I can’t help but hope that all these facts are clues that we have not yet managed to interpret.

These papers may not be on the right track, but I feel a duty to explain them:

After all, the math is probably right. And they use the exceptional Jordan algebra, which I’ve already wasted a lot of time thinking about — so I’m in a better position than most to summarize what they’ve done.

Don’t get me wrong: I’m not claiming this paper is important for physics! I really have no idea. But it’s making progress on a quirky, quixotic line of thought that has fascinated me for years.

Here’s the main result. The exceptional Jordan algebra contains a lot of copies of 4-dimensional Minkowski spacetime. The symmetries of the exceptional Jordan algebra that preserve any one of these copies form a group…. which happens to be exactly the gauge group of the Standard Model!

Posted at 5:26 AM UTC | Permalink | Followups (24)

August 24, 2018

Compositionality: Now Open For Submissions

Posted by John Baez

Our new journal Compositionality is now open for submissions!

It’s an open-access journal for research using compositional ideas, most notably of a category-theoretic origin, in any discipline. Topics may concern foundational structures, an organizing principle, or a powerful tool. Example areas include but are not limited to: computation, logic, physics, chemistry, engineering, linguistics, and cognition.

Compositionality is free of cost for both readers and authors.

Posted at 3:35 PM UTC | Permalink | Followups (1)

August 22, 2018


Posted by John Baez

Jake Bian works on the topology and geometry of neural networks. But now he’s created a new add-on—okay, let’s say it, an extension—for Firefox, designed to make nLab entries look more like textbook chapters:

Posted at 11:42 AM UTC | Permalink | Post a Comment

August 10, 2018

The Philosophy and Physics of Noether’s Theorems

Posted by David Corfield

Nicholas Teh tells me that there is to be a conference held in London, UK, on October 5-6, 2018, celebrating the centenary of Emmy Noether’s work in mathematical physics.

2018 brings with it the centenary of a major milestone in mathematical physics: the publication of Amalie (“Emmy”) Noether’s theorems relating symmetry and physical quantities, which continue to be a font of inspiration for “symmetry arguments” in physics, and for the interpretation of symmetry within philosophy.

In order to celebrate Noether’s legacy, the University of Notre Dame and the LSE Centre for Philosophy of Natural and Social Sciences are co-organizing a conference that will bring together leading mathematicians, physicists, and philosophers of physics in order to discuss the enduring impact of Noether’s work.

Speakers include our very own John Baez.

Posted at 10:05 AM UTC | Permalink | Followups (5)