ENGLISH

Relative Category Theory and Geometric Morphisms: A Logical Approach

By Jonathan Chapman , Frederick Rowbottom

Book information

Publisher
Oxford University Press, USA
Year
1991
ISBN
0198534345, 9780198534341
Language
english
Format
DJVU
Filesize
2 MB (2154298 bytes)
Series
Oxford Logic Guides 16
Pages
278\278
Topic
Mathematics Logic
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2014-03-28 17:37:04

Description

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.

Similar books