Davorin Lešnik: Haar measure in synthetic topology (Part 2)

Abstract: In the seminar we recall the basic notions of synthetic topology and discuss measures in this setting. We present a variant of reals which includes the sizes of general measurable sets, even constructively. As an example, we construct a synthetic topological version of the Haar measure (a canonical choice of a measure on suitable topological groups).