The theory of quantaloids:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Harlow, Essex
Longman
1996
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Pitman research notes in mathematics series
348 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 147 S |
| ISBN: | 0582294401 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011013656 | ||
| 003 | DE-604 | ||
| 005 | 19970725 | ||
| 007 | t | ||
| 008 | 961021s1996 |||| 00||| eng d | ||
| 020 | |a 0582294401 |9 0-582-29440-1 | ||
| 035 | |a (OCoLC)246852850 | ||
| 035 | |a (DE-599)BVBBV011013656 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-11 | ||
| 084 | |a SI 880 |0 (DE-625)143209: |2 rvk | ||
| 084 | |a SK 230 |0 (DE-625)143225: |2 rvk | ||
| 100 | 1 | |a Rosenthal, Kimmo I. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The theory of quantaloids |c Kimmo I. Rosenthal |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Harlow, Essex |b Longman |c 1996 | |
| 300 | |a 147 S | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Pitman research notes in mathematics series |v 348 | |
| 650 | 0 | 7 | |a Geordnete algebraische Struktur |0 (DE-588)4156743-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Geordnete algebraische Struktur |0 (DE-588)4156743-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Pitman research notes in mathematics series |v 348 |w (DE-604)BV000022845 |9 348 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007372912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007372912 | ||
Datensatz im Suchindex
| _version_ | 1804125503131484160 |
|---|---|
| adam_text | Contents
INTRODUCTION 1
Chapter 1. QUANTALOIDS
§1. Preliminaries on quantales, enriched categories
and sup lattices 7
§2. Definition of quantaloid and examples 14
Chapter 2. NEW QUANTALOIDS FROM OLD
§1. Quantaloidal nuclei 21
§2. Quantaloids as x^ categories ; tensor products 23
§3. Bimodules, matrices and monads 26
§4. An example: Girard quantaloids 32
§5. Another example: involutive quantaloids 40
Chapter 3. FREE QUANTALOIDS AND Q ENRICHED
CATEGORIES
§1. The monad V 49
§2. Quantaloidal nuclei on a free quantaloid 51
§3. Categories enriched in a free quantaloid 55
§4. Q enriched categories and continuous relational
presheaves 62
§5. An application to modal and temporal logic 72
§6. Rel(s4) categories, sheaves and topologies 77
Chapter 4. AN EXAMPLE: A CATEGORICAL APPROACH TO
AUTOMATA AND TREE AUTOMATA
§1. Automata as P(M) enriched categories 84
§2. Tree atutomata as P(s^) enriched categories 89
§3. The syntactic nucleus construction for quantaloids 91
§4. Relation to the syntactic congruence 96
§5. Context free languages and tree automata 100
Chapter 5. MODULES, BIMODULES AND AUTONOMOUS
CATEGORIES
§1. A special case: Modules over a quantale Q. 112
§2. Modules and bimodules over a quantaloid Q 115
§3. Connections with ^ autonomous categories 125
REFERENCES 139
|
| any_adam_object | 1 |
| author | Rosenthal, Kimmo I. |
| author_facet | Rosenthal, Kimmo I. |
| author_role | aut |
| author_sort | Rosenthal, Kimmo I. |
| author_variant | k i r ki kir |
| building | Verbundindex |
| bvnumber | BV011013656 |
| classification_rvk | SI 880 SK 230 |
| ctrlnum | (OCoLC)246852850 (DE-599)BVBBV011013656 |
| discipline | Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01392nam a2200361 cb4500</leader><controlfield tag="001">BV011013656</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970725 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961021s1996 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0582294401</subfield><subfield code="9">0-582-29440-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246852850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011013656</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 880</subfield><subfield code="0">(DE-625)143209:</subfield><subfield code="2">rvk</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">Rosenthal, Kimmo I.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The theory of quantaloids</subfield><subfield code="c">Kimmo I. Rosenthal</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Harlow, Essex</subfield><subfield code="b">Longman</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">147 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">Pitman research notes in mathematics series</subfield><subfield code="v">348</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Geordnete algebraische Struktur</subfield><subfield code="0">(DE-588)4156743-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Geordnete algebraische Struktur</subfield><subfield code="0">(DE-588)4156743-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Pitman research notes in mathematics series</subfield><subfield code="v">348</subfield><subfield code="w">(DE-604)BV000022845</subfield><subfield code="9">348</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=007372912&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-007372912</subfield></datafield></record></collection> |
| id | DE-604.BV011013656 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:02:35Z |
| institution | BVB |
| isbn | 0582294401 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007372912 |
| oclc_num | 246852850 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-11 |
| owner_facet | DE-12 DE-739 DE-11 |
| physical | 147 S |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Longman |
| record_format | marc |
| series | Pitman research notes in mathematics series |
| series2 | Pitman research notes in mathematics series |
| spelling | Rosenthal, Kimmo I. Verfasser aut The theory of quantaloids Kimmo I. Rosenthal 1. publ. Harlow, Essex Longman 1996 147 S txt rdacontent n rdamedia nc rdacarrier Pitman research notes in mathematics series 348 Geordnete algebraische Struktur (DE-588)4156743-2 gnd rswk-swf Geordnete algebraische Struktur (DE-588)4156743-2 s DE-604 Pitman research notes in mathematics series 348 (DE-604)BV000022845 348 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007372912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rosenthal, Kimmo I. The theory of quantaloids Pitman research notes in mathematics series Geordnete algebraische Struktur (DE-588)4156743-2 gnd |
| subject_GND | (DE-588)4156743-2 |
| title | The theory of quantaloids |
| title_auth | The theory of quantaloids |
| title_exact_search | The theory of quantaloids |
| title_full | The theory of quantaloids Kimmo I. Rosenthal |
| title_fullStr | The theory of quantaloids Kimmo I. Rosenthal |
| title_full_unstemmed | The theory of quantaloids Kimmo I. Rosenthal |
| title_short | The theory of quantaloids |
| title_sort | the theory of quantaloids |
| topic | Geordnete algebraische Struktur (DE-588)4156743-2 gnd |
| topic_facet | Geordnete algebraische Struktur |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007372912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000022845 |
| work_keys_str_mv | AT rosenthalkimmoi thetheoryofquantaloids |