Whether you are a logician, a mathematician, or a (theoretical) computer scientist there are two things you always need: fixed point theorems and coffee.

Listing the everyday cases in which we are actually relying on fixed point theorems in our definitions or proofs would be a never-ending exercise. I remember that once I was discussing about the massive role played by fixed point theorems in Theoretical Computer Science with one of my closest friend, and he replied me: “we could almost say that theoretical computer science is the study of fixed points”.

And for coffee…well, I think it is enough to recall the famous quote of Alfréd Rény (which has been readapted for several disciplines): “A mathematician is a device for turning coffee into theorems”.

In this blog I write about mathematical results that I find fascinating and useful, trying to make them accessible to logicians and theoretical computer scientists that don’t have a full background in mathematics — paraphrasing Einstein, I will try to make Category Theory as simple as possible, but not simpler.

Who am I?

My name is Francesco Gavazzo, a PhD candidate at University of Bologna, Italy. My research interests lie in the intersection between Logic, Math, and Computer Science.