nLab Gonzalo E. Reyes

Selected writings

On categorical logic and forcing via classifying toposes:

  • (with Michael Makkai), First Order Categorical Logic , LNM 611, Springer Berlin 1977.

On synthetic differential geometry:

On topos theory:

  • (with Marie La Palme Reyes and Houman Zolfaghari), Generic Figures and their Glueings , Polimetrica Milano 2004.

On the history of categorical logic:

On the early history of topos theory:

category: people

Last revised on August 20, 2021 at 16:39:31. See the history of this page for a list of all contributions to it.