A categorical derivation of Lebesgue integration

DOI10.1112/JLMS.12730MaRDI QIDQ6134744zbMATHOpenAlexFDO

Authors Tom Leinster

Publication date 23 August 2023

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2011.00412

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Normed linear spaces and Banach spaces; Banach lattices (46B99) Set functions and measures on spaces with additional structure (28C99)

Abstract: We identify simple universal properties that uniquely characterize the Lebesgue $L^p$ spaces. There are two main theorems. The first states that the Banach space $L^p[0,1]$, equipped with a small amount of extra structure, is initial as such. The second states that the $L^p$ functor on finite measure spaces, again with some extra structure, is also initial as such. In both cases, the universal characterization of the integrable functions produces a unique characterization of integration. Using the universal properties, we develop some of the basic elements of integration theory. We also state universal properties characterizing the sequence spaces $el{l}^p$ and $c_0$, as well as the functor $L^2$ taking values in Hilbert spaces.

Recommendations

• A categorical approach to integration
• scientific article; zbMATH DE number 46499
• Categorical geometry and integration without points
• The Lebesgue Integral Without Measure Theory
• scientific article; zbMATH DE number 1016364

Cites work

• scientific article; zbMATH DE number 5311407 (Why is no real title available?)
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 1324223 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 2172972 (Why is no real title available?)
• scientific article; zbMATH DE number 3073200 (Why is no real title available?)
• A characterization of the Fourier transform and related topics
• A characterization of the concept of duality
• A fixpoint theorem for complete categories
• Algebraic integration theory
• General self-similarity: an overview

Cited in

(4)

• A categorical approach to integration
• On the differentiation of integrals in measure spaces along filters. II.
• scientific article; zbMATH DE number 774090 (Why is no real title available?)
• Categorical geometry and integration without points

This page was built for publication: A categorical derivation of Lebesgue integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134744)