In the axiomatic formulation of differential geometry given by synthetic differential geometry the standard Kock-Lawvere axiom provides a notion of differentiation. In general this need not come with an inverse operation of integration. The additional integration axiom on a smooth topos does ensure this.
Then for any write
We say that satisfies the integration axiom if for all such intervals, all functions on the interval arise uniquely as derivatives on functions on the interval that vanish at the left boundary:
… need to say more …
page 49 of
appendix 3 of