Moerdijk, Ieke <br/><br/>
Models for smooth infinitesimal analysis 
Ieke Moerdijk 
 - New York  Springer  1991