geometric measure theory

Weil’s proof on the existence and uniqueness of Haar measure, categorified.