Elementary Categories, Elementary Toposes : Oxford Logic Guides - Colin McLarty

Elementary Categories, Elementary Toposes

By: Colin McLarty

Paperback | 27 April 1995

At a Glance

Paperback


RRP $323.00

$233.75

28%OFF

or 4 interest-free payments of $58.44 with

 or 

Ships in 5 to 7 business days

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.
Industry Reviews
`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

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Logic : A Very Short Introduction - Graham Priest

RRP $21.95

$16.99

23%
OFF
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Book of Proof - Richard H Hammack

Paperback

$58.75

Axiomatic Set Theory : An Introduction - George Tourlakis
Studia Logica : A History of the Journal - Adam Trybus
MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE - SMULLYAN RAYMOND