Relative Category Theory and Geometric Morphisms:A Logical Approach (Oxford Logic Guides, Vol.16) '92
Chapman, Jonathan,
Rowbottom, Frederick
著
|
在庫状況
お取り寄せ
|
お届け予定日
2週間
|
|
|
価格
\10,533(税込)
|
|
|
|
発行年月 |
1992年03月 |
---|
出版社/提供元 |
Oxford at the Clarendon Press |
出版国 |
イギリス |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
hardcover |
---|
|
ページ数/巻数 |
276 p., illus. |
---|
|
|
ジャンル |
洋書 |
---|
|
|
ISBN |
9780198534341 |
---|
|
商品コード |
0209111065 |
---|
|
|
|
本の性格 |
学術書 |
---|
|
|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209111065 |
---|
内容
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.