The locale of random elements of a space

Alex Simpson has a lot of slides with very interesting ideas.  One of them is what he calls the locale of random sequences.  This is a terribly clever idea that aims at solving the question “what are random sequences?”, using locale theory.  He obtains a very big locale, but without points in general… because every single random sequence is essentially not random.  Read the full post.