Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16–19, 1971

I. Bucur, J. Giraud, N. Goodman, J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney (auth.), F. W. Lawvere (eds.)9780387059204, 0-387-05920-2

Table of contents :
Front Matter….Pages i-vi
Introduction….Pages 1-12
Sheaf theory and the continuum hypothesis….Pages 13-42
Classifying topos….Pages 43-56
Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic….Pages 57-82
The formalization of Bishop’s constructive mathematics….Pages 83-96
Continuous lattices….Pages 97-136
Some applications of the formalism of duality in algebraic geometry….Pages 137-158
Cotangent complex and deformations of torsors and group schemes….Pages 159-189
Back Matter….Pages 191-192