Relative Category Theory and Geometric Morphisms : A Logical Approach
Book Details
Format
Hardback or Cased Book
Book Series
Oxford Logic Guides
ISBN-10
0198534345
ISBN-13
9780198534341
Publisher
Oxford University Press
Imprint
Clarendon Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Feb 6th, 1992
Print length
276 Pages
Weight
536 grams
Dimensions
24.30 x 16.50 x 2.30 cms
Product Classification:
Mathematical logicAlgebra
Ksh 7,700.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
Topos theory provides an important setting and language for much of mathematical logic and set theory. This book presents a convenient and natural solution to the treatment of geometric morphisms in this setting and shows how this may be applied to topics such as the relative Giraud theorem.
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.
Get Relative Category Theory and Geometric Morphisms by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.
