Indexed categories and their applications:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1978
|
| Schriftenreihe: | Lecture notes in mathematics
661 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 260 S. |
| ISBN: | 3540089144 0387089144 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002296911 | ||
| 003 | DE-604 | ||
| 005 | 20080425 | ||
| 007 | t | ||
| 008 | 890928s1978 |||| 00||| eng d | ||
| 020 | |a 3540089144 |9 3-540-08914-4 | ||
| 020 | |a 0387089144 |9 0-387-08914-4 | ||
| 035 | |a (OCoLC)4135517 | ||
| 035 | |a (DE-599)BVBBV002296911 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-473 |a DE-355 |a DE-20 |a DE-824 |a DE-29T |a DE-19 |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 510/.8 | |
| 082 | 0 | |a 512/.55 | |
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 084 | |a 18A05 |2 msc | ||
| 245 | 1 | 0 | |a Indexed categories and their applications |c ed. by P. T. Johnstone ... |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1978 | |
| 300 | |a 260 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 661 | |
| 650 | 4 | |a Algèbre universelle | |
| 650 | 4 | |a Catégories (Mathématiques) | |
| 650 | 4 | |a Topos (Mathématiques) | |
| 650 | 4 | |a Algebra, Universal | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Toposes | |
| 650 | 0 | 7 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Indizierte Kategorie |0 (DE-588)4161554-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Anwendung |0 (DE-588)4196864-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |a Index-Kategorien |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Index-Kategorien |A f |
| 689 | 0 | 1 | |a Anwendung |0 (DE-588)4196864-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Indizierte Kategorie |0 (DE-588)4161554-2 |D s |
| 689 | 1 | 1 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 1 | 2 | |a Anwendung |0 (DE-588)4196864-5 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Index-Kategorien |A f |
| 689 | 2 | 1 | |a Anwendung |0 (DE-588)4196864-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Johnstone, Peter T. |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in mathematics |v 661 |w (DE-604)BV000676446 |9 661 | |
| 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=001509600&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001509600 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804116757368012800 |
|---|---|
| adam_text | CONTENTS
1. Abstract Families and the Adjoint Functor Theorems
by Robert Pare and Dietmar Schumacher 1
0 Introduction 1
1 Abstract Families 6
II Smallness 22
III Limits 61
IV The Adjoint Functor Theorems 94
V Applications 108
References 124
2. V Indexed Categories
by Richard J. Wood 126
References 140
3. Algebraic Theories in Toposes
by Peter Johnstone and Gavin Wraith 141
Introduction 141
I Internal Categories and Profunctors • • • • 148
II Natural Number Objects 158
III Recursion for Profunctors 165
IV The Object Classifier 175
V Finitary Algebraic Theories 190
VI Many Sorted Theories 215
VII Finitary and Infinitary Theories 227
References 240
4. Coequalizers in Algebras for an Internal Type
by Robert D. Rosebrugh 243
References 259
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV002296911 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 850 |
| ctrlnum | (OCoLC)4135517 (DE-599)BVBBV002296911 |
| dewey-full | 510/.8 512/.55 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics 512 - Algebra |
| dewey-raw | 510/.8 512/.55 |
| dewey-search | 510/.8 512/.55 |
| dewey-sort | 3510 18 |
| 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>02308nam a2200613 cb4500</leader><controlfield tag="001">BV002296911</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080425 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1978 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540089144</subfield><subfield code="9">3-540-08914-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387089144</subfield><subfield code="9">0-387-08914-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)4135517</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002296911</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.8</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.55</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 850</subfield><subfield code="0">(DE-625)143199:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">18A05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Indexed categories and their applications</subfield><subfield code="c">ed. by P. T. Johnstone ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">260 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">Lecture notes in mathematics</subfield><subfield code="v">661</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre universelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Catégories (Mathématiques)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Topos (Mathématiques)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Universal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Toposes</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Indizierte Kategorie</subfield><subfield code="0">(DE-588)4161554-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Index-Kategorien</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Index-Kategorien</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Indizierte Kategorie</subfield><subfield code="0">(DE-588)4161554-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Index-Kategorien</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Anwendung</subfield><subfield code="0">(DE-588)4196864-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Johnstone, Peter T.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">661</subfield><subfield code="w">(DE-604)BV000676446</subfield><subfield code="9">661</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=001509600&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-001509600</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | Index-Kategorien gnd |
| genre_facet | Index-Kategorien |
| id | DE-604.BV002296911 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:43:35Z |
| institution | BVB |
| isbn | 3540089144 0387089144 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001509600 |
| oclc_num | 4135517 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-11 DE-188 |
| physical | 260 S. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spelling | Indexed categories and their applications ed. by P. T. Johnstone ... Berlin [u.a.] Springer 1978 260 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in mathematics 661 Algèbre universelle Catégories (Mathématiques) Topos (Mathématiques) Algebra, Universal Categories (Mathematics) Toposes Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Indizierte Kategorie (DE-588)4161554-2 gnd rswk-swf Anwendung (DE-588)4196864-5 gnd rswk-swf Index-Kategorien gnd rswk-swf Index-Kategorien f Anwendung (DE-588)4196864-5 s DE-604 Indizierte Kategorie (DE-588)4161554-2 s Kategorie Mathematik (DE-588)4129930-9 s 1\p DE-604 Johnstone, Peter T. Sonstige oth Lecture notes in mathematics 661 (DE-604)BV000676446 661 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001509600&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Indexed categories and their applications Lecture notes in mathematics Algèbre universelle Catégories (Mathématiques) Topos (Mathématiques) Algebra, Universal Categories (Mathematics) Toposes Kategorie Mathematik (DE-588)4129930-9 gnd Indizierte Kategorie (DE-588)4161554-2 gnd Anwendung (DE-588)4196864-5 gnd |
| subject_GND | (DE-588)4129930-9 (DE-588)4161554-2 (DE-588)4196864-5 |
| title | Indexed categories and their applications |
| title_auth | Indexed categories and their applications |
| title_exact_search | Indexed categories and their applications |
| title_full | Indexed categories and their applications ed. by P. T. Johnstone ... |
| title_fullStr | Indexed categories and their applications ed. by P. T. Johnstone ... |
| title_full_unstemmed | Indexed categories and their applications ed. by P. T. Johnstone ... |
| title_short | Indexed categories and their applications |
| title_sort | indexed categories and their applications |
| topic | Algèbre universelle Catégories (Mathématiques) Topos (Mathématiques) Algebra, Universal Categories (Mathematics) Toposes Kategorie Mathematik (DE-588)4129930-9 gnd Indizierte Kategorie (DE-588)4161554-2 gnd Anwendung (DE-588)4196864-5 gnd |
| topic_facet | Algèbre universelle Catégories (Mathématiques) Topos (Mathématiques) Algebra, Universal Categories (Mathematics) Toposes Kategorie Mathematik Indizierte Kategorie Anwendung Index-Kategorien |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001509600&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000676446 |
| work_keys_str_mv | AT johnstonepetert indexedcategoriesandtheirapplications |