Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Predicative Categories of Classes Michael Alton Warren
 

Summary: Predicative Categories of Classes
Michael Alton Warren
October 28, 2004

Contents
Abstract iii
Acknowledgments iv
Introduction v
1 #­Pretopoi and Constructive Set Theories 1
1.1 #­Pretopoi and Dependent Type Theory . . . . . . . . . . . . 1
1.1.1 #­Pretopoi . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Dependent Type Theory . . . . . . . . . . . . . . . . . 2
1.1.3 Soundness and Completeness . . . . . . . . . . . . . . 4
1.2 Constructive Set Theories . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Notation and Axioms . . . . . . . . . . . . . . . . . . 6
1.2.2 Basic Properties . . . . . . . . . . . . . . . . . . . . . 8
1.2.3 The Category of Sets . . . . . . . . . . . . . . . . . . . 12
1.2.4 Axioms of Infinity . . . . . . . . . . . . . . . . . . . . 14
2 Predicative Categories of Classes 16
2.1 Categories with Class Structure . . . . . . . . . . . . . . . . . 16

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Princeton University, Institute for Advanced Study, School of Mathematics

 

Collections: Mathematics