| | |
Summary: Relating first-order set theories, toposes
and categories of classes
Steve Awodey 1
Department of Philosophy, Carnegie Mellon University, Pittsburgh, USA
Carsten Butz 2
IT University, Copenhagen, Denmark
Alex Simpson 3
LFCS, School of Informatics, University of Edinburgh, UK
Thomas Streicher 4
Fachbereich Mathematik, Technische Universitšat Darmstadt, Germany
DRAFT OF 25 October 2007
THIS IS A DRAFT OF AN UNFISHED PAPER. IT HAS BEEN PLACED
ON-LINE IN SUPPORT OF OUR ACCOMPANYING BSL ANNOUNCE-
MENT (PUBLISHED SEPTEMBER 2007).
THE CURRENT STATUS OF THIS PAPER IS AS FOLLOWS. §12, MISS-
ING. ALL OTHER SECTIONS: MATHEMATICAL CONTENTS IN PLACE,
BUT MUCH TIDYING, INSERTING OF REFERENCES, ETC., REMAINS
TO BE DONE.
Contents
1 Introduction 3
|
