Category theory:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford
Clarendon Press
2006
|
| Series: | Oxford logic guides
49 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references (S. [249]) and index |
| Physical Description: | XI, 256 S. Ill., graph. Darst. |
| ISBN: | 0198568614 9780198568612 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021827517 | ||
| 003 | DE-604 | ||
| 005 | 20090514 | ||
| 007 | t | ||
| 008 | 061124s2006 ad|| |||| 00||| eng d | ||
| 020 | |a 0198568614 |9 0-19-856861-4 | ||
| 020 | |a 9780198568612 |9 978-0-19-856861-2 | ||
| 035 | |a (OCoLC)62393031 | ||
| 035 | |a (DE-599)BVBBV021827517 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-384 |a DE-739 |a DE-11 | ||
| 050 | 0 | |a QA169 | |
| 082 | 0 | |a 512/.62 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |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 |
| 264 | 1 | |a Oxford |b Clarendon Press |c 2006 | |
| 300 | |a XI, 256 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 49 | |
| 500 | |a Includes bibliographical references (S. [249]) and index | ||
| 650 | 7 | |a Categorieën (wiskunde) |2 gtt | |
| 650 | 4 | |a Categories (Mathematics) | |
| 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 49 |w (DE-604)BV000013997 |9 49 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015039560&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015039560 | ||
Record in the Search Index
| _version_ | 1804135755976540160 |
|---|---|
| adam_text | CONTENTS
Preface vi
1
1
З
4
5
11
13
16
21
23
25
25
28
29
33
34
36
41
42
45
47
47
49
54
57
63
65
65
68
70
73
74
77
77
80
Categories
1.1
Introduction
1.2
Functions of sets
1.3
Definition of a category
1.4
Examples of categories
1.5
Isomorphisms
1.6
Constructions on categories
1.7
Free categories
1.8
Foundations: large, small, and locally small
1.9
Exercises
Abstract structures
2.1
Epis
and
monos
2.2
Initial and terminal objects
2.3
Generalized elements
2.4
Sections and retractions
2.5
Products
2.6
Examples of products
2.7
Categories with products
2.8
Hom-sets
2.9
Exercises
Duality
3.1
The duality principle
3.2
Coproducts
3.3
Equalizers
3.4
Coequalizers
3.5
Exercises
Groups and categories
4.1
Groups in a category
4.2
The category of groups
4.3
Groups as categories
4.4
Finitely presented categories
4.5
Exercises
Limits and colimits
5.1
Subobjects
5.2
Pullbacks
5.3
Properties of pullbacks
84
5.4
Limits
89
5.5
Preservation of limits
94
5.6
Colimits
95
5.7
Exercises
102
Exponentials
105
6.1
Exponential in a category
105
6.2
Cartesian closed categories
108
113
118
119
123
125
125
127
131
133
135
139
142
146
150
155
159
159
160
162
166
167
168
172
174
176
Adjoints
179
9.1
Preliminary definition
179
9.2
Hom-set definition
183
9.3
Examples of
adjoints
187
9.4
Order
adjoints
191
9.5
Quantifiers as
adjoints
193
9.6
RAPL
197
9.7
Locally cartesian closed categories
202
6.3
Heyting algebras
6.4
Equational definition
6.5
λ
-calculus
6.6
Exercises
Functors and naturality
7.1
Category of categories
7.2
Representable structure
7.3
Stone duality
7.4
Naturality
7.5
Examples of natural transformations
7.6
Exponentials of categories
7.7
Functor categories
7.8
Equivalence of categories
7.9
Examples of equivalence
7.10
Exercises
Categories of diagrams
8.1
Set-valued functor categories
8.2
The Yoneda embedding
8.3
The Yoneda Lemma
8.4
Applications of the Yoneda Lemma
8.5
Limits in categories of diagrams
8.6
Colimits in categories of diagrams
8.7
Exponentials in categories of diagrams
8.8
Topoi
8.9
Exercises
CONTENTS
9.8
Adjoint functor theorem
9.9
Exercises
10
Monads and algebras
10.1
The triangle identities
10.2
Monads and
adjoints
10.3
Algebras for a monad
10.4
Comonads and coalgebras
210
219
223
223
225
229
234
10.5
Algebras for endofunctors
236
10.6
Exercises
244
References
249
Index
251
|
| adam_txt |
CONTENTS
Preface vi
1
1
З
4
5
11
13
16
21
23
25
25
28
29
33
34
36
41
42
45
47
47
49
54
57
63
65
65
68
70
73
74
77
77
80
Categories
1.1
Introduction
1.2
Functions of sets
1.3
Definition of a category
1.4
Examples of categories
1.5
Isomorphisms
1.6
Constructions on categories
1.7
Free categories
1.8
Foundations: large, small, and locally small
1.9
Exercises
Abstract structures
2.1
Epis
and
monos
2.2
Initial and terminal objects
2.3
Generalized elements
2.4
Sections and retractions
2.5
Products
2.6
Examples of products
2.7
Categories with products
2.8
Hom-sets
2.9
Exercises
Duality
3.1
The duality principle
3.2
Coproducts
3.3
Equalizers
3.4
Coequalizers
3.5
Exercises
Groups and categories
4.1
Groups in a category
4.2
The category of groups
4.3
Groups as categories
4.4
Finitely presented categories
4.5
Exercises
Limits and colimits
5.1
Subobjects
5.2
Pullbacks
5.3
Properties of pullbacks
84
5.4
Limits
89
5.5
Preservation of limits
94
5.6
Colimits
95
5.7
Exercises
102
Exponentials
105
6.1
Exponential in a category
105
6.2
Cartesian closed categories
108
113
118
119
123
125
125
127
131
133
135
139
142
146
150
155
159
159
160
162
166
167
168
172
174
176
Adjoints
179
9.1
Preliminary definition
179
9.2
Hom-set definition
183
9.3
Examples of
adjoints
187
9.4
Order
adjoints
191
9.5
Quantifiers as
adjoints
193
9.6
RAPL
197
9.7
Locally cartesian closed categories
202
6.3
Heyting algebras
6.4
Equational definition
6.5
λ
-calculus
6.6
Exercises
Functors and naturality
7.1
Category of categories
7.2
Representable structure
7.3
Stone duality
7.4
Naturality
7.5
Examples of natural transformations
7.6
Exponentials of categories
7.7
Functor categories
7.8
Equivalence of categories
7.9
Examples of equivalence
7.10
Exercises
Categories of diagrams
8.1
Set-valued functor categories
8.2
The Yoneda embedding
8.3
The Yoneda Lemma
8.4
Applications of the Yoneda Lemma
8.5
Limits in categories of diagrams
8.6
Colimits in categories of diagrams
8.7
Exponentials in categories of diagrams
8.8
Topoi
8.9
Exercises
CONTENTS
9.8
Adjoint functor theorem
9.9
Exercises
10
Monads and algebras
10.1
The triangle identities
10.2
Monads and
adjoints
10.3
Algebras for a monad
10.4
Comonads and coalgebras
210
219
223
223
225
229
234
10.5
Algebras for endofunctors
236
10.6
Exercises
244
References
249
Index
251 |
| any_adam_object | 1 |
| any_adam_object_boolean | 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 | BV021827517 |
| callnumber-first | Q - Science |
| callnumber-label | QA169 |
| callnumber-raw | QA169 |
| callnumber-search | QA169 |
| callnumber-sort | QA 3169 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 320 |
| ctrlnum | (OCoLC)62393031 (DE-599)BVBBV021827517 |
| dewey-full | 512/.62 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.62 |
| dewey-search | 512/.62 |
| dewey-sort | 3512 262 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| discipline_str_mv | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01643nam a2200433 cb4500</leader><controlfield tag="001">BV021827517</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090514 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061124s2006 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198568614</subfield><subfield code="9">0-19-856861-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198568612</subfield><subfield code="9">978-0-19-856861-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)62393031</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021827517</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-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA169</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512/.62</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</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="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 256 S.</subfield><subfield code="b">Ill., 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">Oxford logic guides</subfield><subfield code="v">49</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (S. [249]) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Categorieën (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</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">49</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">49</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=015039560&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-015039560</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV021827517 |
| illustrated | Illustrated |
| index_date | 2024-07-02T15:56:16Z |
| indexdate | 2024-07-09T20:45:33Z |
| institution | BVB |
| isbn | 0198568614 9780198568612 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015039560 |
| oclc_num | 62393031 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-384 DE-739 DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-384 DE-739 DE-11 |
| physical | XI, 256 S. Ill., graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Clarendon 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 Oxford Clarendon Press 2006 XI, 256 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 49 Includes bibliographical references (S. [249]) and index Categorieën (wiskunde) gtt Categories (Mathematics) 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 49 (DE-604)BV000013997 49 Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015039560&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Awodey, Steve 1959- Category theory Oxford logic guides Categorieën (wiskunde) gtt Categories (Mathematics) 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_exact_search_txtP | 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 | Categorieën (wiskunde) gtt Categories (Mathematics) Kategorientheorie (DE-588)4120552-2 gnd |
| topic_facet | Categorieën (wiskunde) Categories (Mathematics) Kategorientheorie Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015039560&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT awodeysteve categorytheory |