Category theory at work:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin
Heldermann
1991
|
| Series: | Research and exposition in mathematics
18 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 395 S. Ill. |
| ISBN: | 3885382180 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004556541 | ||
| 003 | DE-604 | ||
| 005 | 19920514 | ||
| 007 | t | ||
| 008 | 910902s1991 gw a||| |||| 00||| eng d | ||
| 020 | |a 3885382180 |9 3-88538-218-0 | ||
| 035 | |a (OCoLC)25333117 | ||
| 035 | |a (DE-599)BVBBV004556541 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-384 |a DE-739 |a DE-188 | ||
| 050 | 0 | |a QA169 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
| 245 | 1 | 0 | |a Category theory at work |c Horst Herrlich ... (eds.) |
| 264 | 1 | |a Berlin |b Heldermann |c 1991 | |
| 300 | |a XII, 395 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Research and exposition in mathematics |v 18 | |
| 650 | 7 | |a Catégories (Mathématiques) |2 ram | |
| 650 | 7 | |a Topologie |2 ram | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Topology | |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Bremen |2 gnd-content | |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Herrlich, Horst |d 1937-2015 |e Sonstige |0 (DE-588)105921580 |4 oth | |
| 830 | 0 | |a Research and exposition in mathematics |v 18 |w (DE-604)BV000017533 |9 18 | |
| 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=002803754&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002803754 | ||
Record in the Search Index
| _version_ | 1804118687473467392 |
|---|---|
| adam_text | Contents
Preface v»
Authors ix
I. Topology 1
Improving Constructions in Topology 3
H. L. Bentley, H. Herrlich and R. Lowen
Improving Top: PrTop and PsTop : 21
H. Herrlich, E. Lowen Colebunders and F. Schwarz
Internal Description of Hulls: A Unifying Approach 35
F. Schwarz and S. Weck Schwarz
pointseparation axioms, monotopological categories
and MacNeille Completions 47
G. Preufi
The ABC of Order and Topology 57
M. Erne
The Art of Pointless Thinking:
A Student s Guide to the Category of Locales 85
P. T. Johnstone
II. Topology Meets Algebra 109
Concrete Dualities 1ll
H. E. Porst and W. Tholen
Algebra U Topology 137
H. Herrlich, T. Mossakowski and G. E. Strecker
Free Spectra of Concrete Categories and Mixed Structures 149
G. Jarzembski
On the Existence and Structure of Free Topological Groups 165
H. E. Porst
x
Free Compact Groups V: Remarks on Projectivity 177
K. H. Hofmann and S. A. Morris
AXIOMATIZING THE CATEGORY OF COMPACT HAUSDORFF SPACES 199
G. Richter
Automorphisms and Full Embeddings of Categories
in Algebra and Topology 217
E. Makai, Jr.
Algebra c Topology ?! 261
G. Richter
III. Algebra and Computer Science 275
Free Structures 277
J. Reiterman and V. Trnkovd
Universal Algebraic Completions of Right Adjoint Functors 289
H. W. Bargenda
CONTRAVARIANT HOM FUNCTORS AND MONADICITY 307
M. Sobral
Convexity Theories 15 — Back to the Future 321
H. Rdhrl
Products in Per: An Elementary Treatment of the Semantics
of the Polymorphic Lambda Calculus 325
J. W. Gray
IV. Analysis 341
Nonlinear Existence Theorems in Nonnormable Analysis 343
L. D. Nel
Fubini s Theorem from a Categorical Viewpoint 367
R. Borger
Sophus Lie s Fundamental Theorem — Categorical Aspects 377
W. Weiss
Convexity Theories II
The Hahn Banach Theorem for Real Convexity Theories 387
D. Pumplun and H. Rdhrl
xi
|
| any_adam_object | 1 |
| author_GND | (DE-588)105921580 |
| building | Verbundindex |
| bvnumber | BV004556541 |
| callnumber-first | Q - Science |
| callnumber-label | QA169 |
| callnumber-raw | QA169 |
| callnumber-search | QA169 |
| callnumber-sort | QA 3169 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1990 SK 320 |
| ctrlnum | (OCoLC)25333117 (DE-599)BVBBV004556541 |
| 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 | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01667nam a2200445 cb4500</leader><controlfield tag="001">BV004556541</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920514 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910902s1991 gw a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3885382180</subfield><subfield code="9">3-88538-218-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25333117</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004556541</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA169</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">SD 1990</subfield><subfield code="0">(DE-625)142724:</subfield><subfield code="2">rvk</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="245" ind1="1" ind2="0"><subfield code="a">Category theory at work</subfield><subfield code="c">Horst Herrlich ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Heldermann</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 395 S.</subfield><subfield code="b">Ill.</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">Research and exposition in mathematics</subfield><subfield code="v">18</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="7"><subfield code="a">Topologie</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Topology</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">1990</subfield><subfield code="z">Bremen</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">Herrlich, Horst</subfield><subfield code="d">1937-2015</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)105921580</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Research and exposition in mathematics</subfield><subfield code="v">18</subfield><subfield code="w">(DE-604)BV000017533</subfield><subfield code="9">18</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=002803754&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-002803754</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Bremen gnd-content |
| genre_facet | Konferenzschrift 1990 Bremen |
| id | DE-604.BV004556541 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:14:15Z |
| institution | BVB |
| isbn | 3885382180 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002803754 |
| oclc_num | 25333117 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-739 DE-188 |
| owner_facet | DE-12 DE-384 DE-739 DE-188 |
| physical | XII, 395 S. Ill. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Heldermann |
| record_format | marc |
| series | Research and exposition in mathematics |
| series2 | Research and exposition in mathematics |
| spelling | Category theory at work Horst Herrlich ... (eds.) Berlin Heldermann 1991 XII, 395 S. Ill. txt rdacontent n rdamedia nc rdacarrier Research and exposition in mathematics 18 Catégories (Mathématiques) ram Topologie ram Categories (Mathematics) Topology Kategorientheorie (DE-588)4120552-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Bremen gnd-content Kategorientheorie (DE-588)4120552-2 s DE-604 Herrlich, Horst 1937-2015 Sonstige (DE-588)105921580 oth Research and exposition in mathematics 18 (DE-604)BV000017533 18 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002803754&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Category theory at work Research and exposition in mathematics Catégories (Mathématiques) ram Topologie ram Categories (Mathematics) Topology Kategorientheorie (DE-588)4120552-2 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)1071861417 |
| title | Category theory at work |
| title_auth | Category theory at work |
| title_exact_search | Category theory at work |
| title_full | Category theory at work Horst Herrlich ... (eds.) |
| title_fullStr | Category theory at work Horst Herrlich ... (eds.) |
| title_full_unstemmed | Category theory at work Horst Herrlich ... (eds.) |
| title_short | Category theory at work |
| title_sort | category theory at work |
| topic | Catégories (Mathématiques) ram Topologie ram Categories (Mathematics) Topology Kategorientheorie (DE-588)4120552-2 gnd |
| topic_facet | Catégories (Mathématiques) Topologie Categories (Mathematics) Topology Kategorientheorie Konferenzschrift 1990 Bremen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002803754&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000017533 |
| work_keys_str_mv | AT herrlichhorst categorytheoryatwork |