### Current browse context:

math.CT

### Change to browse by:

### References & Citations

# Mathematics > Category Theory

# Title: A categorical proof of the Carathéodory extension theorem

(Submitted on 4 Oct 2022 (v1), last revised 17 Oct 2022 (this version, v3))

Abstract: The Carath\'eodory extension theorem is a fundamental result in measure theory. Often we do not know what a general measurable subset looks like. The Carath\'eodory extension theorem states that to define a measure we only need to assign values to subsets in a generating Boolean algebra.

To prove this result categorically, we represent (pre)measures and outer measures by certain (co)lax and strict transformations. The Carath\'eodory extension then corresponds to a Kan extension of strict transformations. We develop a general framework for extensions of transformations between poset-valued functors and give several results on the existence and construction of extensions of these transformations. We proceed by showing that transformations and functors corresponding to measures satisfy these results, which proves the Carath\'eodory extension theorem.

## Submission history

From: Ruben Van Belle [view email]**[v1]**Tue, 4 Oct 2022 16:18:59 GMT (25kb)

**[v2]**Sat, 8 Oct 2022 15:04:43 GMT (25kb)

**[v3]**Mon, 17 Oct 2022 12:06:01 GMT (25kb)

Link back to: arXiv, form interface, contact.