Mendeley出力
＜図書＞
Sketches of an elephant : a topos theory compendium
| 責任表示 | Peter T. Johnstone |
|---|---|
| シリーズ | Oxford logic guides ; 43-44 |
| データ種別 | 図書 |
| 出版情報 | Oxford : Clarendon Press New York : Oxford University Press , c2002 |
| 本文言語 | 英語 |
| 大きさ | 2 v. : ill. ; 24 cm |
| 概要 | Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientsts, logicians and philosophers who study the foundations of mathematics, and to those working in di...ferential geometry and continum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject. Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. Citing the old Indian story about the blind men feeling different parts of an elephant and coming up with divergent descriptions of the animal Johnstone (mathematics, U. of Cambridge, UK) says that topos theory can be described in divergent ways depending on what part is examined. The original conception of toposes arose in the 1960s as a "generalized space" supporting cohomology theory, but has grown to be used by category theory and other branches of mathematics. Addressing those already familiar with topos theory, Johnstone offers these volumes (and a scheduled 3rd) as a complete treatment of all of the pieces of elementary topos theory together with fully worked-out results. Volume one discusses toposes as categories. Toposes as spaces and theories are reserved for the second. The final volume expected to discuss homotopy and cohomology, and toposes as mathematical universes. Annotation (c)2003 Book News, Inc., Portland, OR (booknews.com) 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
v. 1 | 理系図3F 数理独自 | JOHN/190/4-1 | 2002 |
|
023212002004353 |
|
|||
|
|
v. 2 | 理系図3F 数理独自 | JOHN/190/4-2 | 2002 |
|
023212002004365 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and indexes |
|---|---|
| 著者標目 | *Johnstone, P. T |
| 書誌ID | 1001394777 |
| ISBN | 0198534256 |
| NCID | BA58927426 |
| 巻冊次 | v. 1 ; ISBN:0198534256 v. 2 ; ISBN:0198515987 : set ; ISBN:019852496X |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |