Models for infinitesimal analysis