Category theory:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford [u. a.]
Oxford Univ. Press
2010
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Oxford logic guides
52 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XV, 311 S. |
| ISBN: | 9780199237180 9780199587360 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV025495818 | ||
| 003 | DE-604 | ||
| 005 | 20110713 | ||
| 007 | t | ||
| 008 | 100417s2010 |||| 00||| eng d | ||
| 020 | |a 9780199237180 |9 978-0-19-923718-0 | ||
| 020 | |a 9780199587360 |9 978-0-19-958736-0 | ||
| 035 | |a (OCoLC)654401582 | ||
| 035 | |a (DE-599)BVBBV025495818 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-19 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 320 |0 (DE-625)143231: |2 rvk | ||
| 100 | 1 | |a Awodey, Steve |d 1959- |e Verfasser |0 (DE-588)141982721 |4 aut | |
| 245 | 1 | 0 | |a Category theory |c Steve Awodey |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Oxford [u. a.] |b Oxford Univ. Press |c 2010 | |
| 300 | |a XV, 311 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 52 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Oxford logic guides |v 52 |w (DE-604)BV000013997 |9 52 | |
| 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=020107973&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020107973 | ||
Datensatz im Suchindex
| _version_ | 1804142662851231744 |
|---|---|
| adam_text | Titel: Category theory
Autor: Awodey, Steve
Jahr: 2010
CONTENTS
Preface to the second edition vii
Preface
IX
1 Categories 1
1.1 Introduction 1
1.2 Functions of sets 3
1.3 Definition of a category 4
1.4 Examples of categories 5
1.5 Isomorphisms 12
1.6 Constructions on categories 14
1.7 Free categories 18
1.8 Foundations: large, small, and locally small 23
1.9 Exercises 25
2 Abstract structures 29
2.1 Epis and monos 29
2.2 Initial and terminal objects 33
2.3 Generalized elements 35
2.4 Products 38
2.5 Examples of products 41
2.6 Categories with products 46
2.7 Hom-sets 48
2.8 Exercises 50
3 Duality 53
3.1 The duality principle 53
3.2 Coproducts 55
3.3 Equalizers 62
3.4 Coequalizers 65
3.5 Exercises 71
4 Groups and categories 75
4.1 Groups in a category 75
4.2 The category of groups 80
4.3 Groups as categories 83
4.4 Finitely presented categories 85
4.5 Exercises 87
CONTENTS
5 Limits and colimits 89
5.1 Subobjects 89
5.2 Pullbacks 91
5.3 Properties of pullbacks 95
5.4 Limits 100
5.5 Preservation of limits 105
5.6 Colimits 108
5.7 Exercises 114
6 Exponentials 119
6.1 Exponential in a category 119
6.2 Cartesian closed categories 122
6.3 Heyting algebras 129
6.4 Propositional calculus 131
6.5 Equational definition of CCC 134
6.6 A-calculus 135
6.7 Variable sets 140
6.8 Exercises 144
7 Naturality 147
7.1 Category of categories 147
7.2 Representable structure 149
7.3 Stone duality 153
7.4 Naturality 155
7.5 Examples of natural transformations 157
7.6 Exponentials of categories 161
7.7 Functor categories 164
7.8 Monoidal categories 168
7.9 Equivalence of categories 171
7.10 Examples of equivalence 175
7.11 Exercises 181
8 Categories of diagrams 185
8.1 Set-valued functor categories 185
8.2 The Yoneda embedding 187
8.3 The Yoneda lemma 188
8.4 Applications of the Yoneda lemma 193
8.5 Limits in categories of diagrams 194
8.6 Colimits in categories of diagrams 195
8.7 Exponentials in categories of diagrams 199
8.8 Topoi 201
8.9 Exercises 203
9 Adjoints 207
9.1 Preliminary definition 207
9.2 Hom-set definition 211
CONTENTS
9.3 Examples of adjoints 215
9.4 Order adjoints 219
9.5 Quantifiers as adjoints 221
9.6 RAPL 225
9.7 Locally cartesian closed categories 231
9.8 Adjoint functor theorem 239
9.9 Exercises 248
10 Monads and algebras 253
10.1 The triangle identities 253
10.2 Monads and adjoints 255
10.3 Algebras for a monad 259
10.4 Comonads and coalgebras 264
10.5 Algebras for endofunctors 266
10.6 Exercises 274
Solutions to selected exercises 279
References 303
Index 305
|
| any_adam_object | 1 |
| author | Awodey, Steve 1959- |
| author_GND | (DE-588)141982721 |
| author_facet | Awodey, Steve 1959- |
| author_role | aut |
| author_sort | Awodey, Steve 1959- |
| author_variant | s a sa |
| building | Verbundindex |
| bvnumber | BV025495818 |
| classification_rvk | CC 2400 SK 320 |
| ctrlnum | (OCoLC)654401582 (DE-599)BVBBV025495818 |
| discipline | Mathematik Philosophie |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01465nam a2200397 cb4500</leader><controlfield tag="001">BV025495818</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110713 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s2010 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199237180</subfield><subfield code="9">978-0-19-923718-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199587360</subfield><subfield code="9">978-0-19-958736-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)654401582</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025495818</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-11</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</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="100" ind1="1" ind2=" "><subfield code="a">Awodey, Steve</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141982721</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Category theory</subfield><subfield code="c">Steve Awodey</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u. a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 311 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">Oxford logic guides</subfield><subfield code="v">52</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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)4123623-3</subfield><subfield code="a">Lehrbuch</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="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">52</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">52</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=020107973&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-020107973</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV025495818 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:35:20Z |
| institution | BVB |
| isbn | 9780199237180 9780199587360 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020107973 |
| oclc_num | 654401582 |
| open_access_boolean | |
| owner | DE-11 DE-19 DE-BY-UBM |
| owner_facet | DE-11 DE-19 DE-BY-UBM |
| physical | XV, 311 S. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Awodey, Steve 1959- Verfasser (DE-588)141982721 aut Category theory Steve Awodey 2. ed. Oxford [u. a.] Oxford Univ. Press 2010 XV, 311 S. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 52 Literaturangaben Kategorientheorie (DE-588)4120552-2 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Kategorientheorie (DE-588)4120552-2 s DE-604 Oxford logic guides 52 (DE-604)BV000013997 52 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020107973&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Awodey, Steve 1959- Category theory Oxford logic guides Kategorientheorie (DE-588)4120552-2 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)4123623-3 |
| title | Category theory |
| title_auth | Category theory |
| title_exact_search | Category theory |
| title_full | Category theory Steve Awodey |
| title_fullStr | Category theory Steve Awodey |
| title_full_unstemmed | Category theory Steve Awodey |
| title_short | Category theory |
| title_sort | category theory |
| topic | Kategorientheorie (DE-588)4120552-2 gnd |
| topic_facet | Kategorientheorie Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020107973&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT awodeysteve categorytheory |