TY  - RPRT
TI  - A categorical derivation of Lebesgue integration
AU  - Tom Leinster
PY  - 2023
UR  - https://arxiv.org/abs/2011.00412
ID  - 2011.00412
ER  -