Davorin Lešnik: Haar measure in synthetic topology

Datum objave: 14. 10. 2019
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 17. 10. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
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).