Details

Autor(en) / Beteiligte

• Bucur, I
• Giraud, J
• Goodman, N
• Myhill, J
• Illusie, L
• Lambek, J
• Scott, D. S
• Tierney, M
• Lawvere, F. W[Herausgeber]

Titel

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

Ist Teil von

• Lecture Notes in Mathematics : 274

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

1972

Link zum Volltext

• Volltext

Beschreibungen/Notizen

• Sheaf theory and the continuum hypothesis -- Classifying topos -- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic -- The formalization of Bishop's constructive mathematics -- Continuous lattices -- Some applications of the formalism of duality in algebraic geometry -- Cotangent complex and deformations of torsors and group schemes