The Categorical Origins of Lebesgue Integration