Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
Material Type: | Internet resource |
---|---|
Document Type: | Book, Internet Resource |
All Authors / Contributors: |
Colin MacLarty |
ISBN: | 0198514735 9780198514732 |
OCLC Number: | 552406388 |
Notes: | Literaturverz. S. [257] - 261 |
Description: | XIII, 265 Seiten Diagramme |
Contents: | Introduction; PART I: CATEGORIES: Rudimentary structures in a category; Products, equalizers, and their duals; Groups; Sub-objects, pullbacks, and limits; Relations; Cartesian closed categories; Product operators and others; PART II: THE CATEGORY OF CATEGORIES: Functors and categories; Natural transformations; Adjunctions; Slice categories; Mathematical foundations; PART III: TOPOSES: Basics; The internal language; A soundness proof for topos logic; From the internallanguage to the topos; The fundamental theorem; External semantics; Natural number objects; Categories in a topos; Topologies; PART IV: SOME TOPOSES: Sets; Synthetic differential geometry; The effective topos; Relations in regular categories; Further reading; Bibliography; Index. |
Responsibility: | Colin McLarty |
More information: |
Reviews
Editorial reviews
Publisher Synopsis
A comprehensive introduction to elementary category theory and elementary topos theory . . . The book is well written . . . Ideal as an introduction for a researcher who wants to understand some of the more advanced material on the connection between category theory and logic. * Computing Review, February 1997 * It has the virtue of bringing together a great deal of basic material which is otherwise scattered about in research texts and articles. * Studia Logica * Read more...
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "Elementary categories, elementary toposes".
Be the first.