Moreover, all these functions ‘preserve structure’, in the sense that the comparative relations defined in terms of them coincide with the comparative relations used in N. Furthermore, if f, g and h are taken as the denotation of the appropriate functors, the laws of Newtonian gravitational theory in their functorial form hold.