Toposes and local set theories: an introduction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1988
|
| Schriftenreihe: | Oxford logic guides
14 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 267 S. graph. Darst. |
| ISBN: | 0198532741 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001853805 | ||
| 003 | DE-604 | ||
| 005 | 20141215 | ||
| 007 | t | ||
| 008 | 890907s1988 d||| |||| 00||| eng d | ||
| 020 | |a 0198532741 |9 0-19-853274-1 | ||
| 035 | |a (OCoLC)243199779 | ||
| 035 | |a (DE-599)BVBBV001853805 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-19 |a DE-91 |a DE-384 |a DE-739 |a DE-29T |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA169.B45 1988 | |
| 082 | 0 | |a 511.32 | |
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a SK 155 |0 (DE-625)143219: |2 rvk | ||
| 084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
| 084 | |a MAT 040f |2 stub | ||
| 084 | |a 03G30 |2 msc | ||
| 084 | |a 18B25 |2 msc | ||
| 100 | 1 | |a Bell, John L. |d 1945- |e Verfasser |0 (DE-588)128411570 |4 aut | |
| 245 | 1 | 0 | |a Toposes and local set theories |b an introduction |c J. L. Bell |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1988 | |
| 300 | |a XII, 267 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 14 | |
| 650 | 4 | |a Toposes | |
| 650 | 4 | |a Set theory | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topos |0 (DE-588)4127974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Topos |0 (DE-588)4127974-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Topos |g Mathematik |0 (DE-588)4185717-3 |D s |
| 689 | 2 | 1 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 830 | 0 | |a Oxford logic guides |v 14 |w (DE-604)BV000013997 |9 14 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001227562&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001227562 | ||
Datensatz im Suchindex
| _version_ | 1804116319427100672 |
|---|---|
| adam_text | CONTENTS
1. Elements of category theory l
Categories 1
Some basic category theoretic notions 5
Limits and colimits 11
Existence of limits and colimits 16
Functors 18
Natural transformations and functor categories 21
Completeness of functor categories 26
Equivalence of categories 28
Adjunctions 30
Units and counits of adjunctions 32
Freedom and cofreedom 35
Uniqueness of adjoints 38
Preservation of limits and colimits 39
Cartesian closed categories 42
Reflective subcategories 45
Galois connections 46
2. Introducing toposes 49
Subobjects and subobject classifiers 49
Power objects: the concept of topos 58
Setc as a topos 60
Geometric morphisms 65
3. Local set theories 68
Local languages and local set theories 68
Logic in a local set theory 73
Set theory in a local language 83
The category of sets determined by a local set theory 85
Interpreting a local language in a topos: the soundness theorem 91
The completeness theorem 103
The equivalence theorem 105
Translations and logical functors 113
Adjoining indeterminates 115
Introduction of function values 117
4. Fundamental properties of toposes 120
Some fundamental properties of toposes 120
The structure of Q and Sub(/1) in a topos 127
Slicing a topos 131
Coproducts in a topos 136
xii Contents
Syntactic properties of local set theories versus essentially categorical
properties of toposes 141
Full theories 150
Beth Kripke Joyal semantics 155
5. From logic to sheaves 162
Truth sets, modalities, and universal closure operations 162
Sheaves 171
The sheafification functor 180
Modalized toposes 189
Modal operators and sheaves in Set0 1 194
Sheaves over locales and topological spaces 199
6. Locale valued sets 202
Locale valued sets 202
The topos of sheaves on a topological space 209
Decidable, subconstant, and fuzzy sets 210
Boolean extensions as toposes 215
7. Natural numbers and real numbers 220
Natural numbers in local set theories 220
Real numbers in local set theories 226
The free topos 233
8. Epilogue: the wider significance of topos theory 235
From set theory to topos theory 235
Some analogies with the theory of relativity 239
The negation of constancy 242
Appendix: Geometric theories and classifying toposes 246
Historical and bibliographical notes 255
References 258
Index of symbols 261
Index of terms 264
|
| any_adam_object | 1 |
| author | Bell, John L. 1945- |
| author_GND | (DE-588)128411570 |
| author_facet | Bell, John L. 1945- |
| author_role | aut |
| author_sort | Bell, John L. 1945- |
| author_variant | j l b jl jlb |
| building | Verbundindex |
| bvnumber | BV001853805 |
| callnumber-first | Q - Science |
| callnumber-label | QA169 |
| callnumber-raw | QA169.B45 1988 |
| callnumber-search | QA169.B45 1988 |
| callnumber-sort | QA 3169 B45 41988 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 150 SK 155 SK 320 |
| classification_tum | MAT 040f |
| ctrlnum | (OCoLC)243199779 (DE-599)BVBBV001853805 |
| dewey-full | 511.32 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.32 |
| dewey-search | 511.32 |
| dewey-sort | 3511.32 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02083nam a2200565 cb4500</leader><controlfield tag="001">BV001853805</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141215 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890907s1988 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198532741</subfield><subfield code="9">0-19-853274-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243199779</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001853805</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA169.B45 1988</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.32</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 155</subfield><subfield code="0">(DE-625)143219:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 320</subfield><subfield code="0">(DE-625)143231:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03G30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">18B25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bell, John L.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128411570</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Toposes and local set theories</subfield><subfield code="b">an introduction</subfield><subfield code="c">J. L. Bell</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 267 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford logic guides</subfield><subfield code="v">14</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Toposes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topos</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4185717-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topos</subfield><subfield code="0">(DE-588)4127974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Topos</subfield><subfield code="0">(DE-588)4127974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Topos</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4185717-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Topos</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4185717-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">14</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">14</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001227562&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001227562</subfield></datafield></record></collection> |
| id | DE-604.BV001853805 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:36:37Z |
| institution | BVB |
| isbn | 0198532741 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001227562 |
| oclc_num | 243199779 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-11 DE-188 |
| physical | XII, 267 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Bell, John L. 1945- Verfasser (DE-588)128411570 aut Toposes and local set theories an introduction J. L. Bell Oxford Clarendon Press 1988 XII, 267 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 14 Toposes Set theory Logic, Symbolic and mathematical Topos Mathematik (DE-588)4185717-3 gnd rswk-swf Topos (DE-588)4127974-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Topos (DE-588)4127974-8 s Logik (DE-588)4036202-4 s DE-604 Topos Mathematik (DE-588)4185717-3 s Mengenlehre (DE-588)4074715-3 s Oxford logic guides 14 (DE-604)BV000013997 14 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001227562&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bell, John L. 1945- Toposes and local set theories an introduction Oxford logic guides Toposes Set theory Logic, Symbolic and mathematical Topos Mathematik (DE-588)4185717-3 gnd Topos (DE-588)4127974-8 gnd Logik (DE-588)4036202-4 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4185717-3 (DE-588)4127974-8 (DE-588)4036202-4 (DE-588)4074715-3 |
| title | Toposes and local set theories an introduction |
| title_auth | Toposes and local set theories an introduction |
| title_exact_search | Toposes and local set theories an introduction |
| title_full | Toposes and local set theories an introduction J. L. Bell |
| title_fullStr | Toposes and local set theories an introduction J. L. Bell |
| title_full_unstemmed | Toposes and local set theories an introduction J. L. Bell |
| title_short | Toposes and local set theories |
| title_sort | toposes and local set theories an introduction |
| title_sub | an introduction |
| topic | Toposes Set theory Logic, Symbolic and mathematical Topos Mathematik (DE-588)4185717-3 gnd Topos (DE-588)4127974-8 gnd Logik (DE-588)4036202-4 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Toposes Set theory Logic, Symbolic and mathematical Topos Mathematik Topos Logik Mengenlehre |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001227562&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT belljohnl toposesandlocalsettheoriesanintroduction |