Abstract: I will outline the proof of the following theorem:

Theorem (C. Rosendal). Let π : G → H be a universally measurable homomorphism from
a Polish group G to a separable topological group H. Then π is continuous.

See the Notes written by Eli Glasner.