Wow! eBook
Elementary Categories, Elementary Toposes: 21
Author(s): Colin McLarty (Author)
- Publisher: Oxford University Press
- Publication Date: 13 Mar. 2003
- Edition: Revised ed.
- Language: English
- Print length: 280 pages
- ISBN-10: 0198514735
- ISBN-13: 9780198514732
Book Description
The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout rather than beginning with set theoretic foundations. It works with key notions such as cartesian closedness, adjunctions, regular categories, and the internal logic of a topos. Full statements and elementary proofs are given for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Three chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.
Editorial Reviews
Review
"An exceptionally clearly written and wide-ranging introduction to category and topos theory. . . . packed with things interesting to the expert, yet presented in a manner intelligible to the beginner. . . . contains a wealth of thought-provoking exercises." --Journal of Symbolic Logic
"Provides a first introduction to the theory of categories and functors, and to topos theory. McLarty manages to cover a considerable range of topics in a clear and elegant fashion, thus giving these readers a good first impression of what the subject is about. McLarty's perspicuous treatment provides a good first introduction." --Mathematical Reviews
Review
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
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
