We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

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

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.
Comments: 36 pages
Subjects: Category Theory (math.CT); Probability (math.PR)
Cite as: arXiv:2210.01720 [math.CT]
  (or arXiv:2210.01720v3 [math.CT] for this version)

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.