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.
`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
Ask a Question About this Product More... |