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

ISBN-13: 9783540059202 / Angielski / Miękka / 1972 / 193 str.

F. W. Lawvere

Opis

Widoczna okładka, to zdjęcie poglądowe, a rzeczywista szata graficzna może różnić się od prezentowanej. Nie gwarantujemy zgodności okładki z prezentowanym zdjęciem.

Spis treści

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.