J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.
1. Elements of category theory 2. Introducing toposes 3. Local set theories 4. Fundamental properties of toposes 5. From logic to sheaves 6. Locale-valued sets 7. Natural numbers and real numbers 8. Epilogue: the wider significance of topos theory Appendix: Geometric theories and classifying toposes Historical and bibliographical notes References Index of symbols Index of terms
J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.
1. Elements of category theory 2. Introducing toposes 3. Local set theories 4. Fundamental properties of toposes 5. From logic to sheaves 6. Locale-valued sets 7. Natural numbers and real numbers 8. Epilogue: the wider significance of topos theory Appendix: Geometric theories and classifying toposes Historical and bibliographical notes References Index of symbols Index of terms
1. Elements of category theory 2. Introducing toposes 3. Local set theories 4. Fundamental properties of toposes 5. From logic to sheaves 6. Locale-valued sets 7. Natural numbers and real numbers 8. Epilogue: the wider significance of topos theory Appendix: Geometric theories and classifying toposes Historical and bibliographical notes References Index of symbols Index of terms
J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.
|
Ask a Question About this Product More... |
|
