Relative Category Theory and Geometric Morphisms : A Logical Approach Hardback
by Jonathan Chapman, Frederick (both at the School of Mathematics, both at the School of Mathematics, Universi Rowbottom
Part of the Oxford Logic Guides series
Hardback
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 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.
Information
-
Out of stock
- Format:Hardback
- Pages:276 pages, numerous line diagrams
- Publisher:Oxford University Press
- Publication Date:06/02/1992
- Category:
- ISBN:9780198534341
Information
-
Out of stock
- Format:Hardback
- Pages:276 pages, numerous line diagrams
- Publisher:Oxford University Press
- Publication Date:06/02/1992
- Category:
- ISBN:9780198534341