Relative Category Theory and Geometric Morphisms
Regular price
€43.99
A01=Frederick Rowbottom
A01=Jonathan Chapman
Author_Frederick Rowbottom
Author_Jonathan Chapman
Category=PBCD
Category=PBF
eq_isMigrated=0
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Product details
- ISBN 9780198534341
- Weight: 566g
- Dimensions: 164 x 238mm
- Publication Date: 06 Feb 1992
- Publisher: Oxford University Press
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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 which allows 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 essentially self-contained except that the authors presuppose a familiarity with basic category theory and topos theory.
