In this note by Tom Leinster the Banach space $\mathrm{L}^1[0,1]$ is recovered by "abstract nonsense" as the initial object of a certain category of (decorated) Banach spaces. So a function space, that would habitually be defined through the machinery of Lebesgue measure and integration, is uniquely described (up to isomorphism) in terms of abstract functional analysis and a bit of category theory.