Title Elementary categories, elementary toposes / Colin McLarty

Published Oxford : Clarendon Press ; New York : Oxford University Press, 1992

Copies

Location	Call no.	Vol.	Availability
W'PONDS	511.3 Mcl/Ece		AVAILABLE

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

  Permalink