## Thinking through diagrams

The theory of geometry developed by the Greek mathematician Euclid about 2300 years ago was notable for two original features: First, it was what we now call axiomatic. Euclid started with some explicit assumptions (called axioms) and rules of inference and then he developed the logical consequences of these assumptions and inference rules. It wasn’t until the 1890s, however, that other mathematicians (initially Mario Pieri and David Hilbert) took this idea and ran with it, presenting formal axiomatic treatments of geometry. Bertrand Russell and Alfred North Whitehead famously developed an axiomatic treatment for mathematics in general, in their book *Principia Mathematica *(published 1910-1913).

Second, the rules of inference used by Euclid were essentially diagrammatic — the drawings of circles, triangles and other shapes in the Mediterranean sand were not merely illustrations of mathematical reasoning, but were the means by which this reasoning occurred. For most of the time since Euclid, mathematics has been done via text and symbols rather than by diagrams. Only with the rise of Category Theory in the last 60 years have we seen another branch of pure mathematics where reasoning is done explicitly through diagrams, in this case, what are called *commutative diagrams*.

Why is this relevant to computer science? Well, computers can reason equally well with symbols as with diagrams, since both are converted (ultimately) to binary digits. But our western text-oriented culture has mostly favoured the manipulation of textual symbols rather than the manipulation of diagrams or images. Only in recent years have researchers in computer science, pure mathematics, and theoretical physics begun looking systematically at diagrammatic representations and reasoning.

This post is to introduce our first Informatics Department Colloquium for the 2012 academic year. This Colloquium will be given on Wednesday 31 October 2012 at 17:00 by Dr Aleks Kissinger of Oxford University on the topic of *“String Graph Rewriting and Free Monoidal Categories”*. The location for this talk will be Seminar Room K2.31, Second Floor of the King’s Building at the Strand Campus. Meanwhile, the abstract for Dr Kissinger’s talk is here:

String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. In 1991, Joyal and Street provided a topological formalisation of string diagrams and used them to construct free monoidal categories.

In this talk, I will show how string diagrams can be represented in a manner amenable to automation using special kinds of typed graphs called string graphs. I’ll then demonstrate the construction of free traced symmetric monoidal categories as well as “diagrammatically presented” categories, i.e., the most general categories admitting a given set of graph rewrite rules. If there’s time, I will also talk about extensions to the diagrammatic language to admit graph patterns, and our implementation in Quantomatic.”

## Remembering women in science

The first computer programmer was a woman – mathematician Ada Lovelace (1815-1852), daughter of Lord Byron and friend of computer pioneer, Charles Babbage. As a result of her efforts, the 16th October each year has been set aside to celebrate women in science. This year, Britain’s Royal Society and Wikipedia hosted an edit-a-thon, to increase the Wikipedia pages devoted to women scientists and mathematicians.

Here you can find a report on the project from the journal Nature, and here is Wikipedia’s own page.

## King’s in Telegraph’s “Top 10 universities for computer science and information systems”

The Department of Informatics at King’s College London has been ranked 8th in the Telegraph’s ranking of the top universities at which to study computer science in the UK. On 11 October 2012, it published it’s top 10 list, based on the QS World University Rankings 2012 by Subject.

I don’t generally believe the various published rankings, which all use different metrics, but what’s particularly interesting about this one is that it explicitly includes a measure of employer reputation, so that we can be confident in how our graduates are perceived. It’s a fantastic achievement!

The QS World University Subject Rankings are based on academic reputation, employer reputation and citations.