Categories, allegories:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
North-Holland
c1990
|
| Series: | North-Holland mathematical library
v. 39 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Includes index General concepts and methods that occur throughout mathematics & ndash; and now also in theoretical computer science & ndash; are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further. The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach Includes bibliographical references and index |
| Physical Description: | 1 Online-Ressource (xvii, 296 p.) |
| ISBN: | 9780444703682 0444703683 9780080887012 0080887015 1281756296 9781281756299 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317810 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1990 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444703682 |9 978-0-444-70368-2 | ||
| 020 | |a 0444703683 |9 0-444-70368-3 | ||
| 020 | |a 9780080887012 |c electronic bk. |9 978-0-08-088701-2 | ||
| 020 | |a 0080887015 |c electronic bk. |9 0-08-088701-5 | ||
| 020 | |a 1281756296 |9 1-281-75629-6 | ||
| 020 | |a 9781281756299 |9 978-1-281-75629-9 | ||
| 035 | |a (ZDB-33-EBS)ocn316569193 | ||
| 035 | |a (OCoLC)316569193 | ||
| 035 | |a (DE-599)BVBBV042317810 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a SK 230 |0 (DE-625)143225: |2 rvk | ||
| 100 | 1 | |a Freyd, Peter J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Categories, allegories |c Peter J. Freyd, Andre Scedrov |
| 264 | 1 | |a Amsterdam |b North-Holland |c c1990 | |
| 300 | |a 1 Online-Ressource (xvii, 296 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a North-Holland mathematical library |v v. 39 | |
| 500 | |a Includes index | ||
| 500 | |a General concepts and methods that occur throughout mathematics & ndash; and now also in theoretical computer science & ndash; are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further. The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Mathematical logic | |
| 650 | 7 | |a Catégories (Mathématiques) |2 ram | |
| 650 | 7 | |a Allegories (Mathematics) |2 fast | |
| 650 | 7 | |a Categories (Mathematics) |2 fast | |
| 650 | 7 | |a MATHEMATICS / Algebra / Intermediate |2 bisacsh | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Allegories (Mathematics) | |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Relationenalgebra |0 (DE-588)4206494-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Allegorie |g Mathematik |0 (DE-588)4304012-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Allegorie |g Mathematik |0 (DE-588)4304012-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Relationenalgebra |0 (DE-588)4206494-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Ščedrov, Andrej |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 0-444-70367-5 |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444703682 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754801 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804152914669731840 |
|---|---|
| any_adam_object | |
| author | Freyd, Peter J. |
| author_facet | Freyd, Peter J. |
| author_role | aut |
| author_sort | Freyd, Peter J. |
| author_variant | p j f pj pjf |
| building | Verbundindex |
| bvnumber | BV042317810 |
| classification_rvk | SK 230 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316569193 (OCoLC)316569193 (DE-599)BVBBV042317810 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03976nmm a2200745zcb4500</leader><controlfield tag="001">BV042317810</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1990 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444703682</subfield><subfield code="9">978-0-444-70368-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444703683</subfield><subfield code="9">0-444-70368-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080887012</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-088701-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080887015</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-088701-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281756296</subfield><subfield code="9">1-281-75629-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281756299</subfield><subfield code="9">978-1-281-75629-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316569193</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316569193</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317810</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 230</subfield><subfield code="0">(DE-625)143225:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Freyd, Peter J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Categories, allegories</subfield><subfield code="c">Peter J. Freyd, Andre Scedrov</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">c1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvii, 296 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">North-Holland mathematical library</subfield><subfield code="v">v. 39</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">General concepts and methods that occur throughout mathematics & ndash; and now also in theoretical computer science & ndash; are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further. The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Catégories (Mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Allegories (Mathematics)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Categories (Mathematics)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Algebra / Intermediate</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Allegories (Mathematics)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Allegorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4304012-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Allegorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4304012-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ščedrov, Andrej</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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">0-444-70367-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444703682</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754801</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042317810 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444703682 0444703683 9780080887012 0080887015 1281756296 9781281756299 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754801 |
| oclc_num | 316569193 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xvii, 296 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | North-Holland |
| record_format | marc |
| series2 | North-Holland mathematical library |
| spelling | Freyd, Peter J. Verfasser aut Categories, allegories Peter J. Freyd, Andre Scedrov Amsterdam North-Holland c1990 1 Online-Ressource (xvii, 296 p.) txt rdacontent c rdamedia cr rdacarrier North-Holland mathematical library v. 39 Includes index General concepts and methods that occur throughout mathematics & ndash; and now also in theoretical computer science & ndash; are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further. The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi. A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach Includes bibliographical references and index Mathematical logic Catégories (Mathématiques) ram Allegories (Mathematics) fast Categories (Mathematics) fast MATHEMATICS / Algebra / Intermediate bisacsh Categories (Mathematics) Allegories (Mathematics) Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Allegorie Mathematik (DE-588)4304012-3 gnd rswk-swf Allegorie Mathematik (DE-588)4304012-3 s 1\p DE-604 Relationenalgebra (DE-588)4206494-6 s 2\p DE-604 Kategorientheorie (DE-588)4120552-2 s 3\p DE-604 Kategorie Mathematik (DE-588)4129930-9 s 4\p DE-604 Ščedrov, Andrej Sonstige oth Erscheint auch als Druck-Ausgabe, Paperback 0-444-70367-5 http://www.sciencedirect.com/science/book/9780444703682 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Freyd, Peter J. Categories, allegories Mathematical logic Catégories (Mathématiques) ram Allegories (Mathematics) fast Categories (Mathematics) fast MATHEMATICS / Algebra / Intermediate bisacsh Categories (Mathematics) Allegories (Mathematics) Kategorientheorie (DE-588)4120552-2 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Relationenalgebra (DE-588)4206494-6 gnd Allegorie Mathematik (DE-588)4304012-3 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)4129930-9 (DE-588)4206494-6 (DE-588)4304012-3 |
| title | Categories, allegories |
| title_auth | Categories, allegories |
| title_exact_search | Categories, allegories |
| title_full | Categories, allegories Peter J. Freyd, Andre Scedrov |
| title_fullStr | Categories, allegories Peter J. Freyd, Andre Scedrov |
| title_full_unstemmed | Categories, allegories Peter J. Freyd, Andre Scedrov |
| title_short | Categories, allegories |
| title_sort | categories allegories |
| topic | Mathematical logic Catégories (Mathématiques) ram Allegories (Mathematics) fast Categories (Mathematics) fast MATHEMATICS / Algebra / Intermediate bisacsh Categories (Mathematics) Allegories (Mathematics) Kategorientheorie (DE-588)4120552-2 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Relationenalgebra (DE-588)4206494-6 gnd Allegorie Mathematik (DE-588)4304012-3 gnd |
| topic_facet | Mathematical logic Catégories (Mathématiques) Allegories (Mathematics) Categories (Mathematics) MATHEMATICS / Algebra / Intermediate Kategorientheorie Kategorie Mathematik Relationenalgebra Allegorie Mathematik |
| url | http://www.sciencedirect.com/science/book/9780444703682 |
| work_keys_str_mv | AT freydpeterj categoriesallegories AT scedrovandrej categoriesallegories |