Read more
Zusatztext 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. Klappentext The book covers elementary aspects of category theory and topos theory for graduate students in mathematics! computer science! and logic; it has few mathematical prerequisites! and uses categorical methods throughout! rather than beginning with set theoretical foundations. Working with key concepts such as Cartesian closedness! adjunctions! regular categories! and the internal logic of a topos! the book features full statements and elementary proofs for the central theorems! including the fundamental theorem of toposes! the sheafification theorem! and the construction of Grothendieck toposes over any topos as base. Other chapters discuss applications of toposes in detail! namely to sets! to basic differential geometry! and to recursive analysis. Zusammenfassung The text introduces categories and elementary toposes while requiring little mathematical background. It defines the key concepts and gives complete elementary proofs of theorems, including the fundamental theorem of toposes and the sheafification theorem. Inhaltsverzeichnis 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 internal language 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....
