دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: جبر ویرایش: 2nd نویسندگان: Steve Awodey سری: Oxford Logic Guides 52 ISBN (شابک) : 0199587361, 9780199237180 ناشر: Oxford University Press سال نشر: 2010 تعداد صفحات: 328 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
کلمات کلیدی مربوط به کتاب تئوری گروه: ریاضی، جبر عمومی، نظریه مقوله
در صورت تبدیل فایل کتاب Category Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری گروه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
نظریه مقوله شاخه ای از جبر انتزاعی با کاربردهای بسیار متنوع است. این متن و کتاب مرجع نه تنها برای ریاضیدانان، بلکه محققان و دانشجویان علوم کامپیوتر، منطق، زبانشناسی، علوم شناختی، فلسفه و هر یک از زمینههایی که ایدهها در آن به کار میروند، مورد توجه قرار گرفته است. این کتاب با داشتن تعاریف روشن از مفاهیم اساسی، روشن شده با مثالهای قابل دسترس متعدد، و ارائه شواهد کامل برای همه قضایا و قضایای مهم، بر آن است تا ایدهها، قضایا و روشهای اساسی نظریه مقولهها را برای این خوانندگان گسترده قابل درک کند. اگرچه با فرض چند پیش نیاز ریاضی، استاندارد دقت ریاضی به خطر نیفتاده است. مواد تحت پوشش شامل هسته استاندارد دسته بندی ها است. فاکتورها تحولات طبیعی؛ هم ارزی؛ حدود و حدود; دسته بندی تابع; قابل نمایندگی لم یوندا؛ الحاقات؛ مونادها یک مبحث اضافی از مقولههای بسته دکارتی و حساب لامبدا نیز ارائه شده است - برای دانشمندان کامپیوتر، منطقدانان و زبانشناسان ضروری است! این ویرایش دوم شامل بازنگریهای متعددی برای متن اصلی است، از جمله بسط شرح، بازنگری و تشریح براهین، ارائههای اضافی. نمودارها، تصحیح اشتباهات تایپی و در نهایت، افزودن یک بخش کاملاً جدید در مورد دسته بندی های یکنوع. نزدیک به صد تمرین جدید نیز اضافه شده است که بسیاری از آنها دارای راه حل هستند تا کتاب به عنوان متن درسی و برای خودآموزی مفیدتر باشد.
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership. Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists!This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.
Contents......Page 14
Preface to the second edition......Page 8
Preface......Page 10
1.1 Introduction......Page 18
1.2 Functions of sets......Page 20
1.3 Definition of a category......Page 21
1.4 Examples of categories......Page 22
1.5 Isomorphisms......Page 29
1.6 Constructions on categories......Page 31
1.7 Free categories......Page 35
1.8 Foundations: large, small, and locally small......Page 40
1.9 Exercises......Page 42
2.1 Epis and monos......Page 46
2.2 Initial and terminal objects......Page 50
2.3 Generalized elements......Page 52
2.4 Products......Page 55
2.5 Examples of products......Page 58
2.6 Categories with products......Page 63
2.7 Hom-sets......Page 65
2.8 Exercises......Page 67
3.1 The duality principle......Page 70
3.2 Coproducts......Page 72
3.3 Equalizers......Page 79
3.4 Coequalizers......Page 82
3.5 Exercises......Page 88
4.1 Groups in a category......Page 92
4.2 The category of groups......Page 97
4.3 Groups as categories......Page 100
4.4 Finitely presented categories......Page 102
4.5 Exercises......Page 104
5.1 Subobjects......Page 106
5.2 Pullbacks......Page 108
5.3 Properties of pullbacks......Page 112
5.4 Limits......Page 117
5.5 Preservation of limits......Page 122
5.6 Colimits......Page 125
5.7 Exercises......Page 131
6.1 Exponential in a category......Page 136
6.2 Cartesian closed categories......Page 139
6.3 Heyting algebras......Page 146
6.4 Propositional calculus......Page 148
6.5 Equational definition of CCC......Page 151
6.6 λ-calculus......Page 152
6.7 Variable sets......Page 157
6.8 Exercises......Page 161
7.1 Category of categories......Page 164
7.2 Representable structure......Page 166
7.3 Stone duality......Page 170
7.4 Naturality......Page 172
7.5 Examples of natural transformations......Page 174
7.6 Exponentials of categories......Page 178
7.7 Functor categories......Page 181
7.8 Monoidal categories......Page 185
7.9 Equivalence of categories......Page 188
7.10 Examples of equivalence......Page 192
7.11 Exercises......Page 198
8.1 Set-valued functor categories......Page 202
8.2 The Yoneda embedding......Page 204
8.3 The Yoneda lemma......Page 205
8.4 Applications of the Yoneda lemma......Page 210
8.5 Limits in categories of diagrams......Page 211
8.6 Colimits in categories of diagrams......Page 212
8.7 Exponentials in categories of diagrams......Page 216
8.8 Topoi......Page 218
8.9 Exercises......Page 220
9.1 Preliminary definition......Page 224
9.2 Hom-set definition......Page 228
9.3 Examples of adjoints......Page 232
9.4 Order adjoints......Page 236
9.5 Quantifiers as adjoints......Page 238
9.6 RAPL......Page 242
9.7 Locally cartesian closed categories......Page 248
9.8 Adjoint functor theorem......Page 256
9.9 Exercises......Page 265
10.1 The triangle identities......Page 270
10.2 Monads and adjoints......Page 272
10.3 Algebras for a monad......Page 276
10.4 Comonads and coalgebras......Page 281
10.5 Algebras for endofunctors......Page 283
10.6 Exercises......Page 291
Solutions to selected exercises......Page 296
References......Page 320