Relative Category Theory and Geometric Morphisms - A Logical Approach (Hardcover)

Topos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can be given for a topos to be regarded as a category of sets. This enables a fruitful interplay between category theory and set theory. However, one stumbling block to a logical approach to topos theory has been the treatment of geometric morphisms. This book presents a convenient and natural solution to this problem by developing the notion of a frame relative to an elementary topos. The authors show how this technique enables a logical approach to be taken to topics such as category theory relative to a topos and the relative Giraud theorem. The work is self-contained except that the authors presuppose a familiarity with basic category theory and topos theory. Logicians, set and category theorists, and computer scientist working in the field will find this work essential reading.

General

Imprint:	Clarendon Press
Country of origin:	United Kingdom
Series:	Oxford Logic Guides, 16
Release date:	February 1992
Authors:	Jonathan Chapman • Frederick Rowbottom (both at the School of Mathematics)
Dimensions:	238 x 164 x 21mm (L x W x T)
Format:	Hardcover
Pages:	276
ISBN-13:	978-0-19-853434-1
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Algebra > General Promotions
LSN:	0-19-853434-5
Barcode:	9780198534341

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!