A categorical manifesto:
Abstract: "This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying five basic categorical concepts: category, functor, natural transformation, adjoint, and colimit. Some examples, motivation, and references are given for each con...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Menlo Park, Calif.
1989
|
| Schriftenreihe: | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL
89,8 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying five basic categorical concepts: category, functor, natural transformation, adjoint, and colimit. Some examples, motivation, and references are given for each concept, but completeness is not attempted. Additional categorical concepts and suggestions for further research are also mentioned. The paper concludes with some philosophical and foundational implications." |
| Beschreibung: | 18 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009257966 | ||
| 003 | DE-604 | ||
| 005 | 20171123 | ||
| 007 | t | ||
| 008 | 940313s1989 |||| 00||| eng d | ||
| 035 | |a (OCoLC)23261443 | ||
| 035 | |a (DE-599)BVBBV009257966 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 084 | |a SS 4530 |0 (DE-625)143473: |2 rvk | ||
| 100 | 1 | |a Goguen, Joseph |d 1941-2006 |e Verfasser |0 (DE-588)172100275 |4 aut | |
| 245 | 1 | 0 | |a A categorical manifesto |
| 264 | 1 | |a Menlo Park, Calif. |c 1989 | |
| 300 | |a 18 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 89,8 | |
| 520 | 3 | |a Abstract: "This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying five basic categorical concepts: category, functor, natural transformation, adjoint, and colimit. Some examples, motivation, and references are given for each concept, but completeness is not attempted. Additional categorical concepts and suggestions for further research are also mentioned. The paper concludes with some philosophical and foundational implications." | |
| 650 | 4 | |a Categories (Mathematics) | |
| 830 | 0 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 89,8 |w (DE-604)BV008930658 |9 89,8 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006160072 | ||
Datensatz im Suchindex
| _version_ | 1804123705031262208 |
|---|---|
| any_adam_object | |
| author | Goguen, Joseph 1941-2006 |
| author_GND | (DE-588)172100275 |
| author_facet | Goguen, Joseph 1941-2006 |
| author_role | aut |
| author_sort | Goguen, Joseph 1941-2006 |
| author_variant | j g jg |
| building | Verbundindex |
| bvnumber | BV009257966 |
| classification_rvk | SS 4530 |
| ctrlnum | (OCoLC)23261443 (DE-599)BVBBV009257966 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01434nam a2200301 cb4500</leader><controlfield tag="001">BV009257966</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171123 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1989 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23261443</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009257966</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-29T</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4530</subfield><subfield code="0">(DE-625)143473:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goguen, Joseph</subfield><subfield code="d">1941-2006</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172100275</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A categorical manifesto</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Menlo Park, Calif.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 S.</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">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">89,8</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying five basic categorical concepts: category, functor, natural transformation, adjoint, and colimit. Some examples, motivation, and references are given for each concept, but completeness is not attempted. Additional categorical concepts and suggestions for further research are also mentioned. The paper concludes with some philosophical and foundational implications."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">89,8</subfield><subfield code="w">(DE-604)BV008930658</subfield><subfield code="9">89,8</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160072</subfield></datafield></record></collection> |
| id | DE-604.BV009257966 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:34:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006160072 |
| oclc_num | 23261443 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 18 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| series2 | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| spelling | Goguen, Joseph 1941-2006 Verfasser (DE-588)172100275 aut A categorical manifesto Menlo Park, Calif. 1989 18 S. txt rdacontent n rdamedia nc rdacarrier Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 89,8 Abstract: "This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying five basic categorical concepts: category, functor, natural transformation, adjoint, and colimit. Some examples, motivation, and references are given for each concept, but completeness is not attempted. Additional categorical concepts and suggestions for further research are also mentioned. The paper concludes with some philosophical and foundational implications." Categories (Mathematics) Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 89,8 (DE-604)BV008930658 89,8 |
| spellingShingle | Goguen, Joseph 1941-2006 A categorical manifesto Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL Categories (Mathematics) |
| title | A categorical manifesto |
| title_auth | A categorical manifesto |
| title_exact_search | A categorical manifesto |
| title_full | A categorical manifesto |
| title_fullStr | A categorical manifesto |
| title_full_unstemmed | A categorical manifesto |
| title_short | A categorical manifesto |
| title_sort | a categorical manifesto |
| topic | Categories (Mathematics) |
| topic_facet | Categories (Mathematics) |
| volume_link | (DE-604)BV008930658 |
| work_keys_str_mv | AT goguenjoseph acategoricalmanifesto |