I am a theoretical physicist at the Jagiellonian University in Kraków Poland, mainly working on the mathematics of quantum computing. This is my third career, having also worked in the areas of machine learning and finance (algorithmic trading).
November 2020. Here is a short video I made to introduce the mysterious particles known as ''anyons'' for a general audience:
April 2020. I wrote an essay for the 2020 FQXi essay contest called The Flip. It's all about how the fundamental physics of particles may not be fundamental, just because these particles are small. In fact, the whole idea of what is small may be exactly the reverse, the "flip", of what really is small, or fundamental.
November 19, 2019. Blog article, The real significance of quantum computers.
Lie algebras and homotopy theory Partial transcript of a lecture by Jacob Lurie.
On the concept of entropy of a finite probabilistic scheme English translation of the 1956 article by D. K. Faddeev.
About arrow theory
The term "arrow theory" is a colloquial term for the mathematical study of category theory. This theory is about the arrows, or processes, or representations between objects.
More than this: there are no objects, there are only processes, or representations. The meaning is in the arrows between the objects, not the objects themselves. The nouns only make sense through the verbs that connect them.
Quoting John Baez:
To understand this, the following parable may be useful. Long ago, when shepherds wanted to see if two herds of sheep were isomorphic, they would look for an explicit isomorphism. In other words, they would line up both herds and try to match each sheep in one herd with a sheep in the other. But one day, along came a shepherd who invented decategorification. She realized one could take each herd and "count" it, setting up an isomorphism between it and some set of "numbers", which were nonsense words like "one, two, three,..." specially designed for this purpose. By comparing the resulting numbers, she could show that two herds were isomorphic without explicitly establishing an isomorphism! In short, by decategorifying the category of finite sets, the set of natural numbers was invented.
According to this parable, decategorification started out as a stroke of mathematical genius. Only later did it become a matter of dumb habit, which we are now struggling to overcome by means of categorification. While the historical reality is far more complicated, categorification really has led to tremendous progress in mathematics during the 20th century.
Here is an excellent article about category theory from Quanta magazine.
email: simon __at__ arrowtheory.com
Copyright (c) 2018 - 2021.