Category theory 1991: proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | Undetermined |
Veröffentlicht: |
Providence, RI
American Math. Soc.
1992
|
Schriftenreihe: | Canadian Mathematical Society: Conference proceedings
13 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | VII, 447 S. graph. Darst. |
ISBN: | 0821860186 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV008213397 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t | ||
008 | 930915s1992 d||| |||| 10||| undod | ||
020 | |a 0821860186 |9 0-8218-6018-6 | ||
035 | |a (OCoLC)260207589 | ||
035 | |a (DE-599)BVBBV008213397 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | |a und | ||
049 | |a DE-12 |a DE-384 |a DE-11 | ||
084 | |a SD 1991 |0 (DE-625)142725: |2 rvk | ||
245 | 1 | 0 | |a Category theory 1991 |b proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 |c R. A. G. Seely, ed. |
264 | 1 | |a Providence, RI |b American Math. Soc. |c 1992 | |
300 | |a VII, 447 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Canadian Mathematical Society: Conference proceedings |v 13 | |
650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Montréal |2 gnd-content | |
689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Seely, Robert S. |e Sonstige |4 oth | |
711 | 2 | |a International Summer Category Theory Meeting |d 1991 |c Montréal |j Sonstige |0 (DE-588)5075233-9 |4 oth | |
830 | 0 | |a Canadian Mathematical Society: Conference proceedings |v 13 |w (DE-604)BV000018305 |9 13 | |
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=005421573&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-005421573 |
Datensatz im Suchindex
_version_ | 1804122600008318976 |
---|---|
adam_text | Contents
Preface vii
DeMorgan s law and related identities in classifying topoi
Atish Bagchi 1
A Stone duality for metric spaces
B. Banaschewski and A. Pultr 33
Sheaves in cocomplete categories
Renato Betti 43
Low dimensional geometry of the notion of choice
Dominique Bourn 55
Classifying toposes and fundamental localic groupoids
Marta Bunge 75
Internal graphs and internal groupoids in Mal cev categories
A. Carboni, M. C. Pedicchio, and N. Pirovano 97
Hereditary and modal closure operators
G. Castellini, J. Koslowski, and G. E. Strecker 111
What is a Gabriel topology over a graded ring?
Hong Andy Chen and Po Hsiang Chu 133
Strong categorical datatypes I
J. Robin B. Cockett and Dwight Spencer 141
The Zariski category of graded commutative rings
Yves Diers 171
Completeness in continuity spaces
Robert C. Flagg 183
Variations on a theme of Dold
K. A. Hardie and K. H. Kamps 201
Dualities for accessible categories
Hongde Hu 211
v
vi CONTENTS
Some problems in descriptive locale theory
John Isbell 243
Modelling homotopy coherence
J. F. Jardine 267
Elementary reflections of concrete categories of mixed structures
Grzegorz Jarzembski 285
Remarks on representations of universal algebras by sheaves of quotient
algebras
Michael Johnson and Shu Hao Sun 299
Categorical aspects of conformal field theory
V. Lyubashenko 309
Coherence theorems and conformal field theory
Saunders Mac Lane 321
Braided groups and duals of monoidal categories
Shahn Majid 329
A quantisation of the calculus of relations
Christopher J. Mulvey and Joan Wick Pelletier 345
A logical view on the adjoint functor theorem
Dusko Pavlovic 361
Axiomatizing algebraically behaved categories of Hausdorff spaces
GUNTHER RlCHTER 367
Relational databases and indexed categories
Robert Rosebrugh and R. J. Wood 391
Linear indexed quantales and quantalic hyperdoctrines
KlMMO I. ROSENTHAL 409
Effective descent morphisms and effective equivalence relations
M. SOBRAL AND W. THOLEN 421
Functorial selection of morphisms
Vera Trnkova 435
|
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV008213397 |
classification_rvk | SD 1991 |
ctrlnum | (OCoLC)260207589 (DE-599)BVBBV008213397 |
discipline | Mathematik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01617nam a2200361 cb4500</leader><controlfield tag="001">BV008213397</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930915s1992 d||| |||| 10||| undod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821860186</subfield><subfield code="9">0-8218-6018-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)260207589</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008213397</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1991</subfield><subfield code="0">(DE-625)142725:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Category theory 1991</subfield><subfield code="b">proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991</subfield><subfield code="c">R. A. G. Seely, ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Math. Soc.</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 447 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="1" ind2=" "><subfield code="a">Canadian Mathematical Society: Conference proceedings</subfield><subfield code="v">13</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</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="700" ind1="1" ind2=" "><subfield code="a">Seely, Robert S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Summer Category Theory Meeting</subfield><subfield code="d">1991</subfield><subfield code="c">Montréal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5075233-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Canadian Mathematical Society: Conference proceedings</subfield><subfield code="v">13</subfield><subfield code="w">(DE-604)BV000018305</subfield><subfield code="9">13</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=005421573&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-005421573</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1991 Montréal gnd-content |
genre_facet | Konferenzschrift 1991 Montréal |
id | DE-604.BV008213397 |
illustrated | Illustrated |
indexdate | 2024-07-09T17:16:27Z |
institution | BVB |
institution_GND | (DE-588)5075233-9 |
isbn | 0821860186 |
language | Undetermined |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005421573 |
oclc_num | 260207589 |
open_access_boolean | |
owner | DE-12 DE-384 DE-11 |
owner_facet | DE-12 DE-384 DE-11 |
physical | VII, 447 S. graph. Darst. |
publishDate | 1992 |
publishDateSearch | 1992 |
publishDateSort | 1992 |
publisher | American Math. Soc. |
record_format | marc |
series | Canadian Mathematical Society: Conference proceedings |
series2 | Canadian Mathematical Society: Conference proceedings |
spelling | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 R. A. G. Seely, ed. Providence, RI American Math. Soc. 1992 VII, 447 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Canadian Mathematical Society: Conference proceedings 13 Kategorientheorie (DE-588)4120552-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Montréal gnd-content Kategorientheorie (DE-588)4120552-2 s DE-604 Seely, Robert S. Sonstige oth International Summer Category Theory Meeting 1991 Montréal Sonstige (DE-588)5075233-9 oth Canadian Mathematical Society: Conference proceedings 13 (DE-604)BV000018305 13 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005421573&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 Canadian Mathematical Society: Conference proceedings Kategorientheorie (DE-588)4120552-2 gnd |
subject_GND | (DE-588)4120552-2 (DE-588)1071861417 |
title | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 |
title_auth | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 |
title_exact_search | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 |
title_full | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 R. A. G. Seely, ed. |
title_fullStr | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 R. A. G. Seely, ed. |
title_full_unstemmed | Category theory 1991 proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 R. A. G. Seely, ed. |
title_short | Category theory 1991 |
title_sort | category theory 1991 proceedings of an international summer category theory meeting held june 23 30 1991 |
title_sub | proceedings of an International Summer Category Theory Meeting held June 23 - 30, 1991 |
topic | Kategorientheorie (DE-588)4120552-2 gnd |
topic_facet | Kategorientheorie Konferenzschrift 1991 Montréal |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005421573&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000018305 |
work_keys_str_mv | AT seelyroberts categorytheory1991proceedingsofaninternationalsummercategorytheorymeetingheldjune23301991 AT internationalsummercategorytheorymeetingmontreal categorytheory1991proceedingsofaninternationalsummercategorytheorymeetingheldjune23301991 |