On categorical logic and forcing via classifying toposes:
On synthetic differential geometry:
(with Ieke Moerdijk), Models for Smooth Infinitesimal Analysis , Springer Berlin 1991.
An introduction to topos theory with emphasis on presheaf toposes:
On the history of categorical logic:
On the early history of topos theory:
Last revised on October 13, 2023 at 13:55:41. See the history of this page for a list of all contributions to it.