A theory of dirac integral spaces and the isomorphism between the category of such spaces and the category of lebesgue measure spaces.