Toposes, Algebraic Geometry and Logic Dalhousie University, Halifax,
- PDF / 7,826,963 Bytes
- 196 Pages / 612.283 x 790.866 pts Page_size
- 101 Downloads / 154 Views
274 I. Bueur, J. Giraud, N. Goodman and J. Myhill, L. Illusie, J. Lambek, D. S. Scott, M. Tierney
Toposes, Algebraic Geometry and Log ic Dalhousie University, Halifax, January 16-19, 1971
Edited by F. W. Lawvere, Matematisk Institut, Aarhus/Danmark
Springer-Verlag Berlin· Heidelberg' New York 1972
AMS Subject Classifications (1970): 02C15, 02C20, 02K05, 02K 10, 06A23, 14A20, 14A99. 14L99. 18A15, 18B05, 18D15, 18FlO, 18F20
ISBN 3-540-05920-2 Springer-Verlag Berlin' Heidelberg· New York ISBN 0-387-05920-2 Springer-Verlag New York· Heidelberg· Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage ill data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher, © by Springer-Verlag Berlin· Heidelberg 1972. Library of Congress Catalog Card Number 72-86101.
Offsetdruck: Julius Beltz, Hemsbach/Bergstr.
Preface
This volume partially reports a confel'ence on "Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic" held at Halifax. Nova Scotia, Canada. January 16-19. 1971 under the sponsorship of Dalhousie University.~) Of the seventy mathematicians participating, eight delivered addresses which are represented by the seven articles and the introduction included here. Many more participants contributed essentially to the conference by giving more or less informal lectures and by taking part in the lively mathematical discussions. Because the University administration had just refused to renew my contract due to my political activities. a ninth invited speaker declined to deliver his address, thus joining in the protest which was supported by a majority of the participants. The tension created by the administration's action failed however to dampen the scientific enthusiasm within the conference. Rather the conference concentrated and sharpened the development whereby two previously unrelated trends in modern mathematics are now each applying concepts and methods developed by the other. Arnold J. Tingley and his staff at Dalhousie University should be thanked here for their tireless work in preparing the conference and this volume. 1". W. Lawvere
., )
Research partly supported by National Research Council.
TABLE OF CONTENTS
Introduction by F. William Lawvere • • • • • • • • • • • • • • • Myles Tierney: Sheaf Theory and the Continuum Hypothesis. . . • • • . • • • . •
13
Jean Giraud: Classifying Topos.
43
Joachim Lambek: Deductive Systems and Categories • •
57
Nioolas D. Goodman and John Myhill: The Formalization of Bishop's Constructive Mathematics. • • ••
83
Dana Scott: Continuous Lattices.
. . . . . . ..... . ...... . ...
1. Bucur: Some Applications of the Formalism of Duality in Algebraic
Geometry • . . . ••
Data Loading...
