Description |
xiii, 265 pages : illustrations ; 25 cm |
Series |
Oxford logic guides ; 21 |
|
Oxford logic guides ; 21
|
Contents |
Machine derived contents note: PART I: Categories -- 1. Rudimentary structures in a Category -- 2. Products, Equalizers, and their Duals -- 3. Groups -- 4. Sub-Objects, Pullbacks, and Limits -- 5. Relations -- 6. Cartesian Closed Categories -- 7. Product Operators and Others -- PART II: The Category of Categories -- 8. Functors and Categories -- 9. Natural Transformations -- 10. Adjunctions -- 11. Slice Categories -- 12. Mathematical Foundations -- PART III: Toposes -- 13. Basics -- 14. The Internal Language -- 15. A Soundness Proof for Topos Logic -- 16. From the Internal Language to the Topos -- 17. The Fundamental Theorem -- 18. External Semantics -- 19. Natural Number Objects -- 20. Categories in a Topos -- 21. Topologies -- PART IV: Some Toposes -- 22. Sets -- 23. Synthetic Differential Geometry -- 24. The Effective Topos -- 25. Relations in Regular Categories |
Bibliography |
Includes bibliographical references (pages [257]-261) and indexes |
Subject |
Categories (Mathematics)
|
|
Toposes.
|
LC no. |
91036574 |
ISBN |
0198514735 |
|
0198533926 |
|