Categories for the working Philosopher:
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
0xford
Oxford University Press
2017
|
Ausgabe: | First edition |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | xiv, 471 Seiten Diagramme |
ISBN: | 019874899X 9780198748991 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV044464266 | ||
003 | DE-604 | ||
005 | 20230215 | ||
007 | t | ||
008 | 170829s2017 |||| |||| 00||| eng d | ||
020 | |a 019874899X |c hardback |9 0-19-874899-X | ||
020 | |a 9780198748991 |c hardback |9 978-0-19-874899-1 | ||
035 | |a (OCoLC)1006763008 | ||
035 | |a (DE-599)BVBBV044464266 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-19 |a DE-703 |a DE-12 |a DE-355 |a DE-29 | ||
084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
245 | 1 | 0 | |a Categories for the working Philosopher |c edited by Elaine Landry |
250 | |a First edition | ||
264 | 1 | |a 0xford |b Oxford University Press |c 2017 | |
300 | |a xiv, 471 Seiten |b Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Kategorie |0 (DE-588)4131967-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Praktische Philosophie |0 (DE-588)4047055-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Kategorie |0 (DE-588)4131967-9 |D s |
689 | 0 | 1 | |a Praktische Philosophie |0 (DE-588)4047055-6 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Kategorie |0 (DE-588)4131967-9 |D s |
689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | 2 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Landry, Elaine |d 1966- |0 (DE-588)1088343236 |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-0-19-887804-9 |w (DE-604)BV048627895 |
856 | 4 | 2 | |m Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029864864&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-029864864 |
Datensatz im Suchindex
_version_ | 1804177791974899714 |
---|---|
adam_text | Contents
Notes on Contributors xiii
1. The Roles of Set Theories in Mathematics 1
Colin McLarty
2. Reviving the Philosophy of Geometry 18
David Corfield
3. Homotopy Type Theory: A Synthetic Approach to Higher Equalities 36
Michael Shulman
4. Structuralism, Invariance, and Univalence 58
Steve Awodey
5. Category Theory and Foundations 69
Michael Ernst
6. Canonical Maps 90
Jean-Pierre Marquis
7. Categorical Logic and Model Theory 113
John L Bell
8. Unfolding FOLDS: A Foundational Framework for Abstract
Mathematical Concepts 136
Jean-Pierre Marquis
9. Categories and Modalities 163
Kohei Kishida
10. Proof Theory of the Cut Rule 223
/. R. B. Cockett and R. A. G. Seely
11. Contextuality: At the Borders of Paradox 262
Samson Abramsky
12. Categorical Quantum Mechanics I: Causal Quantum Processes 286
Bob Coecke and Aleks Kissinger
13. Category Theory and the Foundations of Classical Space-Time Theories 329
James Owen Weatherall
14. Six-Dimensional Lorentz Category 349
Joachim Lambek
XÜ CONTENTS
15. Applications of Categories to Biology and Cognition 358
Andrée Ehresmann
16. Categories as Mathematical Models 381
David I. Spivak
17. Categories of Scientific Theories 402
Hans Halvorson and Dimitris Tsementzis
18. Structural Realism and Category Mistakes 430
Elaine Landry
Name Index 451
Subject Index 457
|
any_adam_object | 1 |
author2 | Landry, Elaine 1966- |
author2_role | edt |
author2_variant | e l el |
author_GND | (DE-588)1088343236 |
author_facet | Landry, Elaine 1966- |
building | Verbundindex |
bvnumber | BV044464266 |
classification_rvk | CC 2500 |
ctrlnum | (OCoLC)1006763008 (DE-599)BVBBV044464266 |
discipline | Philosophie |
edition | First edition |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01925nam a2200457 c 4500</leader><controlfield tag="001">BV044464266</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230215 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170829s2017 |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">019874899X</subfield><subfield code="c">hardback</subfield><subfield code="9">0-19-874899-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198748991</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-19-874899-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1006763008</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044464266</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Categories for the working Philosopher</subfield><subfield code="c">edited by Elaine Landry</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">0xford</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 471 Seiten</subfield><subfield code="b">Diagramme</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="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="0">(DE-588)4131967-9</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">Praktische Philosophie</subfield><subfield code="0">(DE-588)4047055-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kategorie</subfield><subfield code="0">(DE-588)4131967-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Praktische Philosophie</subfield><subfield code="0">(DE-588)4047055-6</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">Kategorie</subfield><subfield code="0">(DE-588)4131967-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="2"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Landry, Elaine</subfield><subfield code="d">1966-</subfield><subfield code="0">(DE-588)1088343236</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-0-19-887804-9</subfield><subfield code="w">(DE-604)BV048627895</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment</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=029864864&sequence=000001&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-029864864</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV044464266 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:53:40Z |
institution | BVB |
isbn | 019874899X 9780198748991 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029864864 |
oclc_num | 1006763008 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-703 DE-12 DE-355 DE-BY-UBR DE-29 |
owner_facet | DE-19 DE-BY-UBM DE-703 DE-12 DE-355 DE-BY-UBR DE-29 |
physical | xiv, 471 Seiten Diagramme |
publishDate | 2017 |
publishDateSearch | 2017 |
publishDateSort | 2017 |
publisher | Oxford University Press |
record_format | marc |
spelling | Categories for the working Philosopher edited by Elaine Landry First edition 0xford Oxford University Press 2017 xiv, 471 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Kategorie (DE-588)4131967-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Praktische Philosophie (DE-588)4047055-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Kategorie (DE-588)4131967-9 s Praktische Philosophie (DE-588)4047055-6 s DE-604 Logik (DE-588)4036202-4 s Mathematische Logik (DE-588)4037951-6 s Landry, Elaine 1966- (DE-588)1088343236 edt Erscheint auch als Druck-Ausgabe, Paperback 978-0-19-887804-9 (DE-604)BV048627895 Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029864864&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Categories for the working Philosopher Kategorie (DE-588)4131967-9 gnd Logik (DE-588)4036202-4 gnd Praktische Philosophie (DE-588)4047055-6 gnd Mathematische Logik (DE-588)4037951-6 gnd |
subject_GND | (DE-588)4131967-9 (DE-588)4036202-4 (DE-588)4047055-6 (DE-588)4037951-6 (DE-588)4143413-4 |
title | Categories for the working Philosopher |
title_auth | Categories for the working Philosopher |
title_exact_search | Categories for the working Philosopher |
title_full | Categories for the working Philosopher edited by Elaine Landry |
title_fullStr | Categories for the working Philosopher edited by Elaine Landry |
title_full_unstemmed | Categories for the working Philosopher edited by Elaine Landry |
title_short | Categories for the working Philosopher |
title_sort | categories for the working philosopher |
topic | Kategorie (DE-588)4131967-9 gnd Logik (DE-588)4036202-4 gnd Praktische Philosophie (DE-588)4047055-6 gnd Mathematische Logik (DE-588)4037951-6 gnd |
topic_facet | Kategorie Logik Praktische Philosophie Mathematische Logik Aufsatzsammlung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029864864&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT landryelaine categoriesfortheworkingphilosopher |