{"id":"arxiv/2609.17851","url":"https://arxiv.org/abs/2609.17851","tags":["math.FA","math.CT"],"score":0,"title":"A universal characterisation of the Bochner integral","domain":"math.FA","source":"arxiv","authors":["Jean-David Jacques","Felix Medwed","Fabrizio Zanello"],"reviews":0,"subject":"math.FA","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-15","reactions":{}}