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:

An introduction to topos theory with emphasis on presheaf toposes:

On the history of categorical logic:

On the early history of topos theory:

category: people

Last revised on October 13, 2023 at 13:55:41. See the history of this page for a list of all contributions to it.