Gàidhlig is, as you know, a language I find phenomenally hard. I’ve said in the past that the best way of learning it is to know it already. It’s a bit like when you stop and ask for directions to somewhere and the reply is “Oh, I wouldn’t start from here if I were you”. Nonetheless it’s got to be done.
The above picture is of the Burns Centre in Dumfries. The obvious joke will not be made here as Doonhamers are thoroughly sick of it and have heard it a thousand times. It occurred to me the other day though, that although I know the Welsh words for “centre”, owing to almost getting a job at the Canolfan y Dechnoleg Amgen in Wales – they’re actually “canol” and “canolfan” and not speaking Welsh I have no idea what “-fan” does – I had no idea at all what the Gàidhlig word was. I do know the word for “middle” – meadhan – but “middle” is not “centre”. I’m also aware that the word in English is used figuratively as well as literally, which is also a usage of “canolfan” in Welsh, but wasn’t cognisant of such a usage or otherwise in Gàidhlig.
Well, it turns out, unsurprisingly, that it isn’t that simple, although the reasons it isn’t aren’t quite linguistic. It starts out fairly straightforwardly. The Robert Burns Centre is probably called something like An Ionad Raibeart Burns, assuming “Raibeart Burns” doesn’t need to be put into the genitive, and it’s even true that “ionad” means “centre” in figurative and literal terms, as well as meaning “location” and “situation”, although I’m still confused as to how it’s pronounced the way it is because there’s clearly a rule about whether the I or the O is pronounced, so I initially thought it was “yonnat” but apparently it’s “innet” (I’m not bothering with IPA at the moment because I’m on the wrong device for it and in any case it’s been said that the IPA is inadequate for transcribing this language, and there’s a whole other conversation to be had about that). So you might think you’ve got it sorted and everything’s very very good, but actually it isn’t, at least from about 2008 CE onward, because at that point someone did something subversive.
Technical language is often perceived as a barrier to understanding which maintains an in-group and an out-group. This is certainly sometimes true, but at other times not using it makes it almost impossible to talk about something. Cults, sorry, new religious movements, often seem to use language this way in order to exclude outsiders from understanding what they’re talking about and also often to make it seem to their followers that they know what they’re on about. When this isn’t done, which notably occurs in botany with the words “nut” and “berry”, people often object because it leads to bananas being called berries and peanuts not being nuts. In fact hardly anything is a nut. To hide this quandary away, scientists and mathematicians often draw on Greek or Latin as a kind of nice neat cover for the messy box of what to call things. Hebrew and Sanskrit are also sometimes used. In fact, Sanskrit is often formally used to refer to phenomena in Gàidhlig. Rather refreshingly, “ionad” is used thus, presumably as part of some kind of statement against the Latinisation or Hellenisation of technical terms.
Understanding this usage is possibly one of the steepest learning curves I’ve ever encountered. This is how it’s described when you type something related into Google:
As a Grothendieck topos is a categorified locale, so an ionad is a categorified topological space. While the opens are primary in topoi and locales, the points are primary in ionads and topological spaces.
Clear? Didn’t think so. It isn’t even as straightforward as being about topology or group theory. It sounds like a concept related to topological space but that’s only tangentially true, because apparently this is category theory. The idea seems to be to take various branches of maths and generalise the concepts and processes which exist and occur within them. It feels like a theory of everything but it isn’t. It’s kind of metamathematics although I’d prefer to reserve that idea for something like number theory. It involves three types of thing, one made up of the other two. Categories, made of objects and morphisms. To my rather naive brain, this sounds a bit like group theory and a bit like topology, and probably a bit like linear algebra if I knew what that was, which I don’t, so I’m going to wrestle with this here and try to understand it.
My first thought was the Canterbury Cross, which was used as the emblem for my secondary school and looks like this:

Back when I’d just started at that school, we were supposed to make an ashtray, because in those days tobacco smoking lacked the stigma it has now been allowed to acquire. This involved taking a square sheet of aluminium and clipping the corners inward to make a shape somewhat like this, then folding them inward. Being dyspraxic, my attempt to do this was catastrophic. I was shockingly bad at practical subjects, or rather the ones I was actually allowed to do, which is again another story. On one occasion I was simply sawing a piece of perspex into the right shape and it literally exploded very loudly in a puff of acrid smoke, to which my plastic teacher’s response was to ask, wearily, “What have you done now?”. I could go into the gender politics of all this but anyway, we’re talking about the Canterbury Cross. My initial attempt at understanding a ionad is that it’s like the middle portion of this cross in that you can trace a line from it to each of the arms, but not from one arm to another. This is not quite what I mean of course, because it never is, but there seems to be a sense in which this is true. It is in fact dead easy to draw a line from one arm to another, but it still seems to be connected in such a way that the others aren’t. This is probably not it though.
Category theory is apparently difficult because it’s an abstraction of an abstraction. Group theory and topology are already quite abstract, though still applicable quite easily. Category theory takes it a step further. I’m going to have another go.
Maths generally consists of objects and operations on those objects. 2+2=4. Addition is the operation there and the numbers are the objects. Likewise, the top slice of a Rubik’s cube can be turned clockwise through a right angle and then turned back, and there are twelve possible sets of arrangements of a Rubik’s cube which it’s impossible to reach from any of the other sets. These operations of turning are within these sets of arrangements and this is a typical application of group theory. The sets of arrangements are the objects. I’m currently trying to imagine a species of intelligent extraterrestrials who grasp group theory intuitively but can’t count, because they have five sexes. More on that another time. Anyway, geometry has this too. A shape can be reflected, magnified, rotated and so on. In each of these cases and many others, there are the operations and the elements. Category theory summarises branches of mathematics by turning them into a series of items joined together in various ways by arrows, so it aims to do to maths what maths aims to do to the world, and it does it with things like this:

Presumably, and this is just me, if you can find two branches of maths which can be summarised using the same diagrams, they’re really the same branch and if there’s another diagram which is known from one branch but not another all of whose other diagrams are the same, it’s worth looking into whatever’s represented by that extra diagram as it might well work in the other branch.
I seem to have gone rather far from the Canterbury Cross here and that might well be due to there being no connection between the two topics. In fact I think there’s bound to be a connection because of the nature of the shape, but it might not be what I think it is. For instance, you can take a Canterbury Cross and flip it horizontally, vertically or diagonally without changing the shape, and you can also reflect it, so there are clearly symmetry groups which can be applied to it which can’t to, for example, the conventional long cross used as a symbol of the Christian faith, so things can be done to this which are relevant to group theory. So it is relevant, but the thing is that you could do the same kind of thing with a Star of David, though different in detail because that shape can also be rotated to fit into itself in various ways which a Canterbury Cross can’t, and all that stuff you could represent very generally in a Category Theory diagram but there’s nothing special. So it seems I haven’t got anywhere near understanding what an ionad actually is, except that it’s something to do with Category Theory.
So, my next guess then, which might well be wrong for all I know, is that Grothendieck Topology is a way of looking at those diagrams which compares them so that one can generalise from them and make useful advances by comparing different mathematical fields. Is it that? I don’t know! And I seem to have to work out what that is in order to work out what ionad actually means in that sense.
So I seem to have arrived in some sort of state of conceptual splodge and confusion. It almost feels like I can’t bridge the gap between incomprehension and the holy grail that is the concept of “ionad”. I feel the same way about calculus, which in one of the two cases I consider to be the idea of being able to tell which way a wiggly line will go next and wonder vaguely whether astrologers use it to locate planets or whether they just use ephemerides, and that’s as far as I can get. With calculus, by the way, I’m aware of there being two mutually inverse types. With category theory, who knows? How do you get to the point where you can confidently say you can understand something? How do you know you haven’t got it completely wrong? Well, usually I suppose you can test it in the real world, so if I wire a three-pin plug wrongly I will briefly know when the electric shock throws me across the room and kills me, and if I make a (vegan) soufflé wrongly I will become aware of that when it collapses as soon as I take it out of the oven, but in this case, how will I know when I’ve got it wrong? It seems too abstract to test. I want to savour this state of personal bafflement and adumbrate its characteristics.
(Can you even make vegan soufflés?)
So to survey my mathematical knowledge, I can manage the following:
- I scraped an O-level in maths. This probably doesn’t indicate much about how well I understand it though, because I’m fluent in French even though I failed the O-level but not in Spanish even though I have a B at GCSE.
- At first degree level, I’ve studied statistics to the extent that I can see through deceptive practices which purport to employ it, use it in my own quantitative research and assess the quality of other quantitative research. However, stats is arguably not maths.
- Also at first degree level, I’m very confident in the use of formal logic and have extended my knowledge beyond the mere understanding of sequents, truth-tables and well-formed formulae, and I also have a firm grasp of the foundations of mathematics, which extends into number theory.
- I’ve pratted about a bit with stuff like fractals, non-Euclidean geometry and things which take my fancy on the lower levels of the kind of fun maths which crops up in the likes of Martin Gardner’s and Douglas Hofstadter’s writing.
- Not sure if it’s maths but I’m kind of okay at coding provided OOP isn’t involved and it follows an imperative paradigm.
I’m also not scared of maths. I’m not wonderfully good at it but in the same way as someone who feels almost alien to me might enjoy a kick-about with a football of a Saturday afternoon as opposed to playing in the FA Cup, I dabble a little bit. For instance, I’m motivated to find a non-iterative algorithm for calculating square roots although I haven’t got round to it yet. I also find it incomprehensible how people can say that they’ve never applied most of the maths they learnt at school and wonder how hard their lives must be as a result, unless they don’t realise they’re applying it. Last night I used E=mc² and 4πr² along with a bit of trig to work out how much energy our solar panels are likely to get from the Sun today, and to me that seems useful although somewhat inaccurate owing to the fact that the planet inconveniently has an atmosphere, furthermore with clouds in it, and that really is not that hard although it takes quite a long time if you don’t use a calculator, and where’s the fun in that? I suppose that has the same role in my life as football does in someone else’s. But I still can’t understand this. I also wish I knew how close I was getting.
Let’s have another go.
There are these things called topoi, and other things called pre-sheaves and sheaves, and they relate to this situation. Topoi appear to be places set up to do particular kinds of maths comfortably. Is that what they are? Well, I just asked an AI and it may have been trying to please me because that’s what they do, but it agreed that that’s what a topos is. It also started talking about sheaves, so yikes.
Okay, so what’s a sheaf and why are there pre-sheaves? My initial thought here is that we have conceptual ring binders, we’re wandering all over a large warehouse covered in mathematical papers from all sorts of fields, and we’re collecting them together in the ring binders according to what category (there’s that word again) they’re in, and that the pre-sheaves are the empty binders and the sheaves are the full binders. Is that it? Plug that metaphor into an AI and see what it says. . .
Right, done that with two different AI chatbots and I’m wary that they may be eager to please, but both of them said that I wasn’t too far off although open sets are involved. I think of open sets as akin to the Bedeutungen of family resemblance definitions as opposed to those of definitions based solely on necessary and sufficient conditions, and to be honest I think I’m right about that. I could be confidently incorrect of course. And once again, leaving the sycophancy problem aside, although I’m not completely correct, I’m not one hundred percent wrong either. There also seems to be something about them sharing a corner.
As I’ve said, there was this guy called Alexander Grothendieck who was unlucky enough to be born in Germany in 1928. After a traumatic childhood, he became a mathematician, some say the most important of the twentieth century CE. At some point he actually left mathematical academia and became a political activist and a religious recluse, and he gave lectures in Vietnam while being bombed. I know very little about him but I wonder, given that limited information, whether his life indicates the potential role of maths in people’s lives as a source of inner peace, and also the affinity between mathematical beauty and the spiritual realm. I am actually trying to do that right now in writing this. I’m trying to escape, and I hope to provide others a temporary respite, from the vexing nature of current political developments. All that said, I also wonder if it is in fact germane to the current situation in some way. For instance, while I’m writing this I’m not worrying about Gaza, the rise of global fascism or the toilet problem. It may however be the source of a potential argument against the supreme court ruling on “single sex” spaces, but it doesn’t have to be to serve a therapeutic purpose.
And I’ll carry on. I’d say that Grothendieck was responsible for innumerably many mathematical ideas except that because he was a mathematician one must pick one’s words carefully and note that in fact the cardinality of his ideas is not the same as the power of the continuum and that, depending on how you count ideas, he probably had a finite number of them. On the other hand, it might depend on what counts, so to speak, as an idea. In any case, one of the many things he came up with is the aforementioned Grothendieck Topology. I’m abandoning this for now due to sheer bafflement and lack of mental energy.
Here’s a thought. England’s surface southeast of the Tees-Exe Line and the English coastline from the Tees to the Exe are very different in character to Scotland’s surface and coastline. Is it possible that the concept of the ionad is more useful or applicable to either of those aspects of Scotland than the part of England mentioned, and of course I’d like that because the concept itself is from Gàidhlig, or rather Q-Celtic. The big difference between the two coastlines, to start with, is that Scotland is more fractal than lowland England, and actually any of England but it’s more striking defined thus. Something similar also applies to mainland Scotland combined with its islands, to Scotland with the lochs and sea lochs and by extension to Scotland including the mountains. And this has practical applications: it’s harder to get around here than it is in lowland England and you get situations where Mull of Kintyre is seventy kilometres from Kilmarnock as the crow flies but 272 kilometres by road, mainly due to Loch Fyne. Here there could be steep slopes, lochs in the way and a very fractal coastline, or islands at varying distances from each other which may even exist intermittently according to the tide. Southeast England is much smoother and less complicated on the whole. At the same time it’s worth remembering that an ionad is a concept found in an abstraction of abstractions which may therefore still not apply very well to the physical geography of Scotland.
Except that I think it does. There are several aspects to this place resulting from its geology, which has consequences for its terrain, coastline, transport network, biomes, other aspects of ecology, dialects and presumably other cultural aspects. For instance, here’s the Scottish rail network:

. . .and this is the Central Belt’s rail network, found in the rectangle within the other map:

Due to the population distribution and engineering difficulties, the complexity of the rail network is the opposite of the complexity of Scottish terrain. It seems feasible that some kind of table of ratios between the fractal dimension of the surface in a particular area and the number of train stations or connections could be constructed, and there might also be some mileage, so to speak, in working out how long it takes to get between two places by rail, and then comparing it to how long it takes by road and separating that into walking, cycling, driving and taking the bus, or for that matter a ferry or plane. In fact all this analysis could reveal things about transport policy and decisions made by the Westminster or Scottish governments on these matters. Considering the fractal nature of the terrain and coastline together with the topology of various transport networks suggests also that it would be useful to find some way of unifying these two different mathematical ways of considering the country.
It goes beyond that too. The Gàidhlig language is, at least from the outside, characterised by remarkable variations in accent. Moreover, the distribution, both today and historically, of different dialects and languages in Scotland is likely to be connected to the terrain and accessibility of different parts of the country. In England, at least historically, there has been notable variation in accent in Lancashire in particular, and it seems that similar variation occurs in the Gàidhealtachd, to the extent that if your Gàidhlig is poor people might just perceive you as being from a different island rather than just not very good at it. This is because of the divisions caused by multiple islands and glens separated by peaks, a similar situation as obtains in New Guinea, and interestingly also in the sea around New Guinea, causing respectively great linguistic and biological diversity. It’s been said that Scotland is able to masquerade as all sorts of other countries, such as Norway, the Caribbean and maybe Austria. All of this variation is linked to the terrain, and I’m sure could be usefully modelled mathematically. I’d also be very surprised if this was irrelevant to ecology and biomes.
Therefore, there are several different fields of maths which could be used to capture and express the complexity of this country in various useful ways. For instance, anyone who’s played Britannia will be aware that it usually takes ages for the Picts to disappear, something reflected in real world history, and this is I guess because they were hunkered down in remote areas which couldn’t be easily accessed by other peoples, and maybe the living was also so hard there that they didn’t bother. This hypothesis could, I think, be tested using some kind of mathematical approach. There is also a very small tree line in the Cairngorms and there seem to have been glaciers there, again in a small area, until something like the seventeenth century. It took longer for wolves to become extinct here than it did in England. There are all sorts of things like this which result from the distinctive characteristics of the northwestern part of Great Britain and its associated smaller islands which can be modelled mathematically in different ways, and they’re practically very important. The logistics of moving things or oneself around the country, for example, or of understanding the locals in different places, are connected to this.
Here, then, are various mathematical ways of approaching the question of Scotland.
Firstly, the inverse correlation between rail network complexity and terrain complexity lends itself to graph theory, operations research and algebraic topology. In the last, islands and mountains constitute holes. The problem of finding the most efficient routes between places belongs to operations research. So with this there’s:
- Graph theory
- Algebraic topology (I hold my hands up here to say I only have a vague grasp of what this is).
- Operations research (which was actually my dad’s job).
Secondly, the isogloss patterns in Gàidhlig accent variation could involve:
- Graph theory again, regarding communities as nodes and communication links as edges of various weights.
- Topological spaces, where dialect regions are open sets with isoglosses as boundaries between them.
- Sheaf theory, apparently. Goodness knows how. I haven’t got to the point where I understand this much except to imagine lots of people wandering around with ring binders in a warehouse with scattered random maths papers all over the floor. I’m getting there.
Thirdly (this is stylistically frowned upon isn’t it?), biome variation:
- Cellular automata of all things! The idea that in a particular area, there may be more or fewer resources required by particular species which determines whether they flourish or something else does, or perhaps something else flourishes on the corpses of what didn’t flourish.
- Statistics: picks up the patterns of biomes. In particular I strongly suspect that there’s more biodiversity at boundaries between biomes than deep within large homogenous biomes, and Scotland of all places has those boundaries in spades, and I’d like to look into that.
Fourthly, climate:
- Fluid dynamics (some of these things are just words to me, but not this one).
- Differential equations (these definitely are).
Fifthly, the legendary fractal nature of the coastline:
- Fractal geometry (who’d’ve thought?).
- Chaos theory.
- Something called Measure Theory.
The power law regarding the size of lochs, islands and their distribution:
- This is again fractal geometry, as it’s essentially a vertical version of the coastline issue.
- Statistical distribution along the lines of Zipf’s Law and, I’m guessing, the log-normal distribution, alias the 80:20 rule.
- The phenomenon of clustering in random and pseudorandom distributions, manifested here on a plane.
In this case, deviations from these tendencies are themselves interesting. For instance, it might turn out that the areas of lochs are not distributed in such a way that the majority of them constitute together less than half of the water area in Scotland. For a start, nine-tenths of British fresh water is in Loch Ness.
The fields which come up repeatedly here are fractal geometry, topology and actually measure theory, which I mainly left out because I don’t know what it is. It seems that it arose out of the Banach-Tarski paradox, which includes such oddities as being able to dissemble a single ball and then build two balls of the same size as the first one out of a finite number of components, or taking a ball bearing apart mathematically and reassembling it into an object the size of the Earth. Clearly these things can’t actually be done, but they seem to be intuitively feasible when you look at the details, because spheres and balls are each infinitely large sets, and you can take an infinite number of items out of an infinite set and still be left with an infinitely large set. Measure theory tries to resolve this problem by providing a way to decide exactly how big sets are. I can’t take this any further.
So, there are these three areas of maths along with certain others which come up at least a couple of times: measure theory, topology and fractal geometry. Just in passing, Scotland is not unique in this respect because there are other countries and regions in the world to which these same features apply. These include the aforementioned Papua New Guinea, the South Island of Aotearoa/New Zealand, Japan (maybe Hokkaido even more than the whole of Japan), Switzerland, Norway and of course Nova Scotia. Not all of these have the full set, and it should also be borne in mind that there are also “anti-Scotlands”, including the Netherlands, countries which include bits of the Sahara Desert, most of Antarctica and Kansas. I’d also be very interested to know how North Carolina fits in. It isn’t either that these countries and regions are boring or even that the same mathematical fields don’t apply to them, but what doesn’t happen is that the fields in question apply usefully or interestingly to them. In British terms, the opposite of Scotland in these respects is probably East Anglia. Hence this comparison has already become meaningful and productive and hasn’t just been a waste of time. Also, seriously, no disrespect to the places which are “boring” in this respect, and in fact for all I know there are different aspects of those countries to which exactly the same mathematical fields could become relevant, such as the distribution of sizes of grains of sand in the Sahara.
All of these fields include concepts of dimension, open sets, functions and spaces. The concepts of sheaves and ionadan also come up, so at long last I might finally be able to declare myself ready to understand what “ionad” actually means.
An ionad, which is actually taken from the Irish sense of the word rather than the Gàidhlig but the word is the same barring accent and pronunciation, means “place” or “locale”. In that way it’s a little similar to the concept of locus in geometry, and it aims to mix topology and category theory in such a way as to allow one to reason spatially in a point-free and structured manner. An ionad is like a topological space whose open sets are the starting block and points can be derived from those open sets. If topology, category theory and sheaf theory are each thought of as circles in a Venn diagram, like red, green and blue in additive colour or cyan, magenta and yellow in subtractive colour, an ionad is the bit in the middle which is white in the former case and the infamous “brown splodge” in the latter. Of course I’m nowhere near understanding sheaf theory at this point and still have the Filofax people wandering all over the explosion in the maths warehouse in my head, but I’m closer. But apparently an ionad is useful in the following ways (and others):
- It explains how different parts of Scotrail interact without assuming the points are primary, so presumably it could work as a way of explaining train delays and replacement bus services.
- It helps to describe when native speakers of Gàidhlig are likely to perceive each other as speaking with different accents and when they’re likely to hear them as familiar, even when there are some differences in those accents.
- It enables you to model what happens on the borders of two biomes such as peatland and Caledonian rain forest rather than having to think of the border as merely a line between two more easily understood biomes. There, it allows smooth models rather than sudden jumps.
- You can spot scaling rules about the coastline of Scotland and understand its geometry without having to think of it as a series of straight lines or curves.
- It does the same thing with the size distribution of lochs, which is hardly surprising considering the Scottish terrain is just a plane-based version of the line which is the coastline.
The idea over all of this is that you don’t start with the points but with open ideas about what categories might be needed, so you might think in terms of Highland and coastal towns, towns with active train stations and the Gàidhealtachd.
So to finish, whereas I still don’t really have a confident understanding of what an ionad is, I do very much feel that as a mathematical concept it seems to be particularly apt as applied to Scotland, and generally have a feeling that it’s like when oil floats on water or an air bubble rises through a burn, but paying attention to the boundary between them and the skin of the bubble in their own right and as primary. That, I think, is what an ionad is!
And I’m perfectly happy for someone to come along and explain why I’m completely wrong.




























