Today, for the first Theory Lunch after the summer holidays, I happened to talk about the subject of some notes I am taking for myself.

Let us start by clarifying the context. Recall that a *topology* on a set is a family of subsets of such that: Continue reading

Advertisements