nLab Gonzalo E. Reyes

• blog

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:

• (with Ieke Moerdijk), Models for Smooth Infinitesimal Analysis , Springer Berlin 1991. (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:

• Jean-Pierre Marquis, Gonzalo Reyes, (2009) The History of Categorical Logic 1963-1977 (pdf, pdf)

On the early history of topos theory:

• Gonzalo Reyes, Topos Theory in Montréal in the 1970s: My Personal Involvement, History and Philosophy of Logic Volume 40, 2019 - Issue 4 (2019) (doi:10.1080/01445340.2018.1554471)

Related $n$Lab entries

• Marie La Palme Reyes

• Models for Smooth Infinitesimal Analysis

• syllogism

category: people