Non standard analysis is a model of analysis, reals, functions and also infinitesimals, which differs from the usual interpretation of those but satisfies the same class of first order formulas. In this situation, we say that there is a transfer principle. Here we study variations of this principle, in constructive non standard analysis. We also study an application to the modelling of hybrid systems, and see that our weaker principle is not powerful enough. Then we generalize the transfer in a categorical setting
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.