Table of Contents

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

About the Author

J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.