Diagrammatic algebra

Highways Agency, CC BY 2.0

Aryan Ghobadi

As trends go, diagrammatic algebra has taken mathematics by storm. Appearing in papers on computer science, pure mathematics and theoretical physics, the concept has expanded well beyond its birthplace, the theory of Hopf algebras. Some use these diagrams to depict difficult processes in quantum mechanics; others use them to model grammar in the English language! In algebra, such diagrams provide a platform to prove difficult ring theoretic statements by simple pictures.

As an algebraist, I’d like to present you with a down-to-earth introduction to the world of diagrammatic algebra, by diagrammatising a rather simple structure: namely, the set of natural numbers! At the end, I will allude to the connections between these diagrams and the exciting world of higher andmonoidal categories.

Now—imagine yourself in a lecture room, with many others as excited about diagrams as you (yes?!), plus a cranky audience member, who isn’t a fan of category theory, in the front row:

What we would like to draw today is the process of multiplication for the natural numbers. In its essence, multiplication, ×, takes two natural numbers, say 2 and 3, and produces another natural number...

— six! —

Because it takes two elements and produces just one, multiplication is formally called a operation: we can say it is a function�� ∶ ℕ × ℕ → ℕ, where, for example,��(��,��) = ��. binary

We will keep this �� notation for natural number multiplication to avoid confusion with the socalled product of two sets �� and ��, which is the set of all possible pairs from �� and �� and is denoted by

Now we draw (reading diagrams from top to bottom):

ℕ ℕ

ℕ

↦ �� Multiplication, ��, can really be thought of as a ‘meta-road’: it’s a one-way road with two entry lanes, both departing from two cities whose cars correspond to natural numbers, and one exit lane leading to natural-number-land again. We call our roads ‘meta’ because two cars, 2 and 3, enter the lanes at the same time, possibly colliding in the middle, passing through time and space, and a brand new car,6, exits into the city.

— But how does your picture show any of the properties of multiplication on the natural numbers?

Do not be alarmed by this interruption! I am ready to respond.

Diagrams for a monoid

Amonoid structureis a fancy word for some of the nice properties that the multiplication of natural numbers satisfies: (i) associativity (ii) a unit element exists ��(��,��(��,��)) = ��(��(��,��),��) �� × (�� × ��) = ���� = (�� × ��) × �� ��(��,��) = �� = ��(��,��) �� × �� = �� = �� × �� ∀�� ∈ ℕ. Now we simply visualise these properties using our pictorial notation. Associativity translates to these compound meta-roads being the same:

ℕ ℕ ℕ

ℕ ℕ ℕ ℕ

ℕ

OK... —

But why are the diagrams the same? The key ingredient is that we need to put on ourtopological glasses! We don’t care about length or curvature in our roads. It’s as if the asphalt moves freely above the sand! With our new glasses, all the following diagrams are the same and the middle lane can move freely from one side to the other:

The second property we need to visualise is theunit element �� ∈ ℕ. In previous diagrams, any car fromℕcan use the roads, whereas to discuss multiplication by 1, we need a unique car to use the road. So we draw a special diagram for the road where only the car corresponding to 1 can use the lane. The unit conditions require one more ingredient. Each city can have a boring ‘identity road’ id, where nothing happens to cars taking this road. They simply leave and enter the city looking the same. With this in mind, the diagrams representing the unit condition turn into the following picture:

ℕ ℕ ℕ

ℕ idℕ

ℕ ℕ

This should not be a surprise since it is natural to think of multiplication by 1, ��(��,��) for any ��, as a function fromℕtoℕ, which ultimately sends every number to itself. Putting our topological glasses back on, looks as if the diagram for the identity road grew an extra hair, so we can push it back in!

In our car metaphor, the left side represents a main road with an additional lane entering it, but this lane is reserved for a ‘harmless’ car that does not interact with any of the other cars. So, it’s the same as if the main road were the identity road, where nothing happens to the cars driving on it.

— So we did it!

ℕ is a Not so fast! commutative monoid... where’s your diagram for that? —

Here the cranky listener is using the old trick of deploying fancy words to heckle me. The word commutativejust means that the order in which we multiply the numbers doesn’t matter. Formally,

�� being commutative means

��(��,��) = ��(��,��) for any��,�� ∈ ℕ.

For example,�� × �� = �� = �� × ��.

To represent this, we need our roads to pass over each other. We need to build bridges! If we can build bridges and allow lanes to pass over each other, ie diagrams like , then commutativity translates to these diagrams being equal: ℕ ℕ ℕ ℕ

ℕ

ℕ To truly see this property, we need to upgrade our glasses to 3D glasses to capture three-dimensional topology. If we view the string diagrams through our 3D glasses, then one could unwind the righthand diagram by rotating it as so:

— But even still… why would anyone care how you draw multiplication as a diagram?

To placate this restless member of the audience, I will present the punchline a bit early and use the keyword ‘category’ before explaining what it is.

The reason we can draw a commutative monoid such as ℕ as a three-dimensional diagram is because commutative monoids live in what we callbraided categories such as the category of sets. Today’s algebraists will tell you that a braided category is an example of a weirder structure called a 3-category, which has some 3D topology hidden in it. But this takes us into the daunting world of higher categories, and by this point my heckler is hopefully intrigued but has too much pride to ask me to elaborate.

Aha! Back to our story...

So what’s a category? —

Categories

In the same way that looking at the connections between cities in a country is more enlightening than looking at the cities independently, in mathematics it’s more useful to understand the relation between mathematical objects. For example, instead of looking at setsℕ,ℝ,{��,��,��},∅, I really need to discuss functions between sets to understand how sets relate to each other. This now fits in a

bigger framework, a category. A category has some cities, for example sets roads�� ∶ �� → �� between the cities, with two extra rules! ��, �� and ��, and some

1. If roads�� ∶ �� → ��and�� ∶ �� → �� are part of my category, then so is acomposition road���� ∶ �� → �� which is made up from joining roads�� and�� (first taking the road�� to the city�� followed by the road��).

2. Every city should have a special ‘safe’ road, called the identity road, like the identity functionidℕ forℕ.

id��

id��

Categories provide a platform to draw one-dimensional diagrams and a ‘1D calculus’, ie a way to manipulate these diagrams, as I’ve shown on the right there.

The category of sets has sets as cities and functions as roads. The identity road for each city just the identity functionid��∶ �� → ��, whereid��(��) = �� for all�� ∈ ��. �� is

Monoidal categories

The missing piece for a 2D calculus is a way to write in the horizontal direction. When we visualised �� ∶ ℕ×ℕ → ℕas a diagram, we said that writing two cities��and��next to each other meant the product of the two sets�� × ��. In other words, writing cities in rows should have a good meaning, where ‘good’ means that roads betweenthesecities can run parallel in the vertical direction. That is, in the case of sets, for every pair of functions �� ∶ ���� → ���� and �� ∶ ���� → ����, we have a new function �� × �� ∶ ����× ���� → ����× ����. In our diagrams, we represent the road �� × �� by the roads �� and�� running parallel:

Similar to the identity roads acting as ineffective components in the vertical direction, we require an ‘empty city’�� which behaves indifferently in the horizontal direction:

A bit more formally, for each pair of objects �� and ��, the object ‘�� next to ��’ is written as �� ⊗ ��. Parallel roads are written as �� ⊗ �� and �� is called the unit. A category with an ⊗ operation on pairs of cities and roads and a unit��is calledmonoidal. It should be clear that monoidal categories provide a setting for 2-dimensional diagrams:

‘��’ = nothing ℎ ∶ ����⊗ ����⊗ ����→ ����⊗ ����

ℎ

The monoidal structure on the category of sets is given by��⊗�� = ��×�� is the set with one element, so that{∗} × �� = {(∗,��) ∶ �� ∈ ��}. ,�� ⊗�� = �� ×��; and�� = {∗}

By now the room is probably silent and the fear that the audience has long drifted off into sweet dreams of differential equations dawns on me. But...

— How do these monoidal categories relate to monoids like ℕ you were talking about at the start?

An intelligent question!

In the same way you call a set a monoid when you can multiply its elements, a category is called monoidal when you can ‘multiply’ its cities and roads, and instead of a unit element you have a unit city. A trendier way to say this is “monoidal categories categorify monoids”. This is reflected in the fact that a monoid structure on an object of a category only makes sense when the category itself has a monoidal structure.

Braided monoidal categories

In a braided category, the order of cities in a row can be swapped! To swap any two cities �� and ��, we need a method of travel—a road—from �� ⊗ �� to �� ⊗ ��. These roads should have two entry lanes from the cities �� and ��, and two exit lanes into �� and ��, in that order. We’d also like these roads, which we denote by ����,��, to resemble the 3D picture , which we saw when describing the commutative property of ℕ. The next rules which need to be satisfied are directly influenced by topology.

Firstly, each pass over road����,��should also be invertible by a road��−�� ��,��resembling the move . As apparent in the diagram on the right, the composition of two such roads should be the same as the identity roads of��and�� running parallel.

The other conditions which need to hold just mean that if you take a number of cities(��,��,��)and reorder them (maybe to��,��,��) via such passover roads, the outcome should be the same journey:

�� �� �� ∘(����,��⊗ id��) → ∘(id��⊗����,��) → (����,�� ⊗ id��) → �� �� �� ← ∘(id��⊗����,�� ← ∘(����,�� ⊗ id��) ← (id��⊗����,��) )

Geometrically this translates to ‘the order in which the roads lay above each other matters, not the order in which one passes over the other’. As in this picture, the road connected to��lies above the road connected to ��, which itself lies above the road connected to ��. However, the order in which they pass over each other does not matter.

A monoidal category with passover roads for any pair of cities, as described above, is called In the category of sets, the passover roads for sets��and�� are provided by braided.

����,�� ∶ �� × �� → �� × ��, ����,��(��,��) = (��,��), �� ∈ ��,�� ∈ ��. For those with some university algebra knowledge, another important example of braided monoidal categories is the category of vector spaces with the tensor product of vector spaces. This is in fact where the notation⊗comes from.

Well...

I’m sure he can’t top this... —

The big finale... higher algebra!

Let’s say we want to describe a larger system than cities and roads between them. We really want to know how two roads ��,�� between two cities ��,�� are related to each other. Under this geographical metaphor, this would entail looking at which streets connect the two roads within the two cities:

city�� road�� city��

2-road data

road��

We call such a pair of streets connecting roads �� and �� a 2-road between �� and ��. A 2-category carries the information of cities, roads and 2-roads (for those not entertained by my metaphors: objects, morphisms and 2-morphisms) where we draw roads and 2-roads by→and⇒, respectively. Similarly to how we can compose ordinary roads, we compose 2-roads �� ∶ �� ⇒ �� and �� ∶ �� ⇒ ℎ ‘vertically’ to produce a new 2-road �� ∘�� �� ∶ �� ⇒ ℎ (drawn on the left, overleaf). We can only do this when��,�� andℎare all roads between the same two cities��,��. But in addition to this vertical composition, 2-roads also have a horizontal composition (drawn on the right):

vertical composition

�� �� �� �� �� �� = ℎ ℎ horizontal composition

Such compositions need to act well together, ie the order of composing horizontally or vertically should not matter: ℎ ℎ��

�� �� �� �� �� = �� �� ∘ℎ�� ��

horizontal

vertical vertical

horizontal

Diagrams like the above provide a platform for a 2-dimensional calculus as well and this is no coincidence. The information for a monoidal category is equivalent to the information needed for a 2-category with a single city. To better understand this, compare the pictures we have been drawing:

monoidal category equivalent to 2-category with one city∗ cities, eg�� roads, eg�� roads from∗to∗, eg�� 2-roads, eg�� composition of roads monoidal operation⊗ roads running parallel: empty city for cities ⊗for roads vertical composition roads composing horizontal composition identity road from∗to∗

id�� id��

The diagram on the right shows how information transfers between the two settings. This brings us

back to why we can draw a commutative monoid, such as the natural numbers, via 3D diagrams. First remember that to talk about a monoid being commutative, we needed to be able to swap elements. So we really need a braided monoidal category. In a similar fashion to how monoidal categories are 2-categories in disguise, a braided category is a 3-category with one city and one road, and provides a 3D calculus, where our commutative monoidℕcan live!

— ��∈ℕ cheers! Monodial categories rule! —

So maybe now while these cheers fill the air, my heckler walks out of the lecture room and slams the door. I smile with pride, knowing that ‘category theory won today’.

No mathematicians were harmed during the making of this article. All audience members were fictitious and no real mathematicians were forced to attend my lecture.

Aryan Ghobadi Aryan is a PhD student in mathematics at Queen Mary University of London, working with categories in quantum algebra. He is often the cranky audience member in the front row. d sites.google.com/view/aghobadimath

My favourite game Prisoner’s dilemma

Belgin Seymenoğlu What I find interesting about the prisoner’s Prisoners Cooperate Defect dilemma is that it shows that even if the most beneficial outcome for two parties appears to Cooperate (1 yr,1 yr) (10 yrs,free) be for both to cooperate, one or both of them Defect (free,10 yrs) (5 yrs,5 yrs) may be tempted to defect anyway. Moreover, we see many variants showing up on TV and in the real world, eg will countries cooperate to cut carbon emissions? Will two players on the game showGolden Balls choose to split their money or steal from the other? 8/10

Did you know...

…that while there are the five Platonic solids we all know and love, there are actually six ‘Platonic’ polytopes in four dimensions, but only three in each dimension greater than four.

My favourite game Gran Turismo

The Cardigans

8/11