Models for smooth infinitesimal analysis (1991)

by Ieke Moerdijk, Gonzalo E Reyes