Basic category theory for computer scientists:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Press
1991
|
| Series: | Foundations of computing
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 81 - 91 |
| Physical Description: | XIII, 100 S. graph. Darst. |
| ISBN: | 0262660717 9780262660716 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005485205 | ||
| 003 | DE-604 | ||
| 005 | 20220325 | ||
| 007 | t | ||
| 008 | 920820s1991 d||| |||| 00||| eng d | ||
| 020 | |a 0262660717 |9 0-262-66071-7 | ||
| 020 | |a 9780262660716 |9 978-0-262-66071-6 | ||
| 035 | |a (OCoLC)300650297 | ||
| 035 | |a (DE-599)BVBBV005485205 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-11 |a DE-188 |a DE-473 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a QA76.9 M35P54 1991 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a MAT 180f |2 stub | ||
| 100 | 1 | |a Pierce, Benjamin C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Basic category theory for computer scientists |c Benjamin C. Pierce |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1991 | |
| 300 | |a XIII, 100 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Foundations of computing | |
| 500 | |a Literaturverz. S. 81 - 91 | ||
| 650 | 4 | |a Catégories (Mathématiques) | |
| 650 | 7 | |a Catégories (mathématiques) |2 ram | |
| 650 | 4 | |a Informatique - Mathématiques | |
| 650 | 7 | |a Informatique - Mathématiques |2 ram | |
| 650 | 7 | |a catégorie |2 inriac | |
| 650 | 7 | |a conception langage programmation |2 inriac | |
| 650 | 7 | |a foncteur |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 7 | |a théorie catégorie |2 inriac | |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 4 | |a Matériel didactique | |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434064&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003434064 | ||
Record in the Search Index
| _version_ | 1804119699720503296 |
|---|---|
| adam_text | Contents
Series Foreword ix
Preface xi
1 Basic Constructions 1
1.1 Categories 1
1.2 Diagrams 10
1.3 Monomorphisms, Epimorphisms, and Isomorphisms 13
1.4 Initial and Terminal Objects 16
1.5 Products 17
1.6 Universal Constructions 20
1.7 Equalizers 21
1.8 Pullbacks 22
1.9 Limits 26
1.10 Exponentiation 33
2 Functors, Natural Transformations, and Adjoints 36
2.1 Functors 36
2.2 F-Algebras 39
2.3 Natural Transformations 41
2.4 Adjoints 45
3 Applications 53
3.1 Cartesian Closed Categories 53
3.2 Implicit Conversions and Generic Operators 57
3.3 Programming Language Semantics 59
3.4 Recursive Domain Equations 61
4 Further Reading 73
4.1 Textbooks 73
4.2 Introductory Articles 74
4.3 Reference Books 76
4.4 Selected Research Articles 78
Bibliography 81
Summary of Notation 93
Index 95
|
| any_adam_object | 1 |
| author | Pierce, Benjamin C. |
| author_facet | Pierce, Benjamin C. |
| author_role | aut |
| author_sort | Pierce, Benjamin C. |
| author_variant | b c p bc bcp |
| building | Verbundindex |
| bvnumber | BV005485205 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9 M35P54 1991 |
| callnumber-search | QA76.9 M35P54 1991 |
| callnumber-sort | QA 276.9 M35 P54 41991 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 320 ST 130 |
| classification_tum | MAT 180f |
| ctrlnum | (OCoLC)300650297 (DE-599)BVBBV005485205 |
| 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 | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02288nam a2200589 c 4500</leader><controlfield tag="001">BV005485205</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220325 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920820s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262660717</subfield><subfield code="9">0-262-66071-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262660716</subfield><subfield code="9">978-0-262-66071-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)300650297</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005485205</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9 M35P54 1991</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</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">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 180f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pierce, Benjamin C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Basic category theory for computer scientists</subfield><subfield code="c">Benjamin C. Pierce</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 100 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="0" ind2=" "><subfield code="a">Foundations of computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 81 - 91</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Catégories (Mathématiques)</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="4"><subfield code="a">Informatique - Mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">foncteur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Matériel didactique</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - 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=003434064&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-003434064</subfield></datafield></record></collection> |
| genre | Matériel didactique |
| genre_facet | Matériel didactique |
| id | DE-604.BV005485205 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:30:21Z |
| institution | BVB |
| isbn | 0262660717 9780262660716 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003434064 |
| oclc_num | 300650297 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-11 DE-188 DE-473 DE-BY-UBG DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-11 DE-188 DE-473 DE-BY-UBG DE-83 DE-706 |
| physical | XIII, 100 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Foundations of computing |
| spelling | Pierce, Benjamin C. Verfasser aut Basic category theory for computer scientists Benjamin C. Pierce Cambridge, Mass. u.a. MIT Press 1991 XIII, 100 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Foundations of computing Literaturverz. S. 81 - 91 Catégories (Mathématiques) Catégories (mathématiques) ram Informatique - Mathématiques Informatique - Mathématiques ram catégorie inriac conception langage programmation inriac foncteur inriac lambda calcul inriac sémantique langage programmation inriac théorie catégorie inriac Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Matériel didactique Kategorientheorie (DE-588)4120552-2 s DE-604 Programmiersprache (DE-588)4047409-4 s Formale Semantik (DE-588)4122144-8 s Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434064&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Pierce, Benjamin C. Basic category theory for computer scientists Catégories (Mathématiques) Catégories (mathématiques) ram Informatique - Mathématiques Informatique - Mathématiques ram catégorie inriac conception langage programmation inriac foncteur inriac lambda calcul inriac sémantique langage programmation inriac théorie catégorie inriac Kategorientheorie (DE-588)4120552-2 gnd Formale Semantik (DE-588)4122144-8 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)4122144-8 (DE-588)4047409-4 |
| title | Basic category theory for computer scientists |
| title_auth | Basic category theory for computer scientists |
| title_exact_search | Basic category theory for computer scientists |
| title_full | Basic category theory for computer scientists Benjamin C. Pierce |
| title_fullStr | Basic category theory for computer scientists Benjamin C. Pierce |
| title_full_unstemmed | Basic category theory for computer scientists Benjamin C. Pierce |
| title_short | Basic category theory for computer scientists |
| title_sort | basic category theory for computer scientists |
| topic | Catégories (Mathématiques) Catégories (mathématiques) ram Informatique - Mathématiques Informatique - Mathématiques ram catégorie inriac conception langage programmation inriac foncteur inriac lambda calcul inriac sémantique langage programmation inriac théorie catégorie inriac Kategorientheorie (DE-588)4120552-2 gnd Formale Semantik (DE-588)4122144-8 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Catégories (Mathématiques) Catégories (mathématiques) Informatique - Mathématiques catégorie conception langage programmation foncteur lambda calcul sémantique langage programmation théorie catégorie Kategorientheorie Formale Semantik Programmiersprache Matériel didactique |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003434064&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT piercebenjaminc basiccategorytheoryforcomputerscientists |