A universal characterisation of the Bochner integral

Abstract

We provide a universal characterisation of the Banach spaces of equivalence classes of $L^p$ Bochner integrable functions, under equality almost everywhere, as initial objects in appropriate categories of bifunctors, for all $p\in [1,\infty )$. As a by-product of our construction, we also obtain a unique characterisation of the Bochner integral.

33 pages, comments welcome!