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