A categorical proof of the Carathéodory extension theorem

Ruben Van Belle

The Carathéodory extension theorem is a fundamental result in measure theory. Often we do not know what a general measurable subset looks like. The Carathéodory extension theorem s…