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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Menlo Park, Calif.
1989
|
| Series: | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL
89,8 |
| Subjects: | |
| Summary: | 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." |
| Physical Description: | 18 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009257966 | ||
| 003 | DE-604 | ||
| 005 | 20171123 | ||
| 007 | t| | ||
| 008 | 940313s1989 xx |||| 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 | ||
| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006160072 | |
Record in the Search Index
| _version_ | 1820882341706334208 |
|---|---|
| adam_text | |
| 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>00000nam a2200000 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 xx |||| 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="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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160072</subfield></datafield></record></collection> |
| id | DE-604.BV009257966 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T17:05:22Z |
| 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 |