توضیحاتی در مورد کتاب (Co)end Calculus
نام کتاب : (Co)end Calculus
عنوان ترجمه شده به فارسی : (هم) پایان حساب
سری : London Mathematical Society Lecture Note Series 468
نویسندگان : Fosco Loregian
ناشر : Cambridge University Press
سال نشر : 2021
تعداد صفحات : 331
ISBN (شابک) : 1108746128 , 9781108746120
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 22 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
زبان پایانها و (هم)پایانها روشی طبیعی و کلی برای بیان بسیاری از پدیدهها در تئوری مقوله، در انتزاع و در کاربردها ارائه میدهد. با این حال، اگرچه روشهای نظریه دستهبندی اکنون بهطور گسترده توسط ریاضیدانان مورد استفاده قرار میگیرند، از آنجایی که (هم) پایانها درست فراتر از اولین دوره در نظریه دستهبندی قرار دارند، معمولاً فقط توسط نظریهپردازان دستهبندی استفاده میشوند، که برای آنها چیزی شبیه یک سلاح مخفی هستند. این کتاب اولین بررسی سیستماتیک نظریه (هم)پایان است. با هدف مخاطبان گسترده، حساب دیفرانسیل و انتگرال (co)end را به عنوان ابزاری قدرتمند برای شفافسازی و سادهسازی تعاریف و نتایج در نظریه دستهبندی و صدور آنها برای استفاده در حوزههای مختلف ریاضیات و علوم رایانه ارائه میکند. این کتاب بهعنوان یک کتابچه راهنمای مرجع با استناد آسان سازماندهی شده است و به طور یکسان برای نظریهپردازان دستهبندی و کاربران نظریه دستهبندی جالب خواهد بود.
فهرست مطالب :
Contents
Preface
1 Dinaturality and (Co)ends
1.1 Supernaturality
1.2 (Co)ends as (Co)limits
1.3 The Fubini Rule
1.4 First Instances of (Co)ends
Exercises
2 Yoneda and Kan
2.1 The Yoneda Lemma and Kan Extensions
2.2 Yoneda Lemma Using (Co)ends
2.3 Kan Extensions Using (Co)ends
2.4 A Yoneda Structure on Cat
2.5 Addendum: Relative Monads
Exercises
3 Nerves and Realisations
3.1 The Classical Nerve and Realisation
3.2 Abstract Realisations and Nerves
Exercises
4 Weighted (Co)limits
4.1 Weighted Limits and Colimits
4.2 Examples of Weighted Colimits
4.3 Enriched (Co)ends
Exercises
5 Profunctors
5.1 The 2-Category of Profunctors
5.2 Embeddings and Adjoints
5.3 The Structure of Prof
5.4 A More Abstra ct Look at Prof
5.5 Addendum: Fourier Theory
5.6 Addendum: Tambara Theory
Exercises
6 Operads
6.1 Introduction
6.2 The Convolution Product
6.3 Substitution Product and Operads
6.4 Some More Advanced Results
Exercises
7 Higher Dimensional (Co)ends
7.1 2-Dimensional Coends
7.2 Coends in Homotopy Theory
7.3 (Co)ends in Quasicategories
7.4 (Co)ends in a Derivator
Exercises
Appendix A.
Review of Category Theory
A.1 Categories and Functors
A.2 Natural Transformations
A.3 Limits and Colimits
A.4 Adjunctions
A.5 The Yoneda Lemma
A.6 Monoidal Categories and Monads
A.7 2-Categories
A.8 Higher Categories
A.9 Miscellaneous Definitions
Exercises
Appendix B. Table of Notable Integrals
References
AB
CD
EFG
HIJK
LM
NPR
STUW
Y
Index
توضیحاتی در مورد کتاب به زبان اصلی :
The language of ends and (co)ends provides a natural and general way of expressing many phenomena in category theory, in the abstract and in applications. Yet although category-theoretic methods are now widely used by mathematicians, since (co)ends lie just beyond a first course in category theory, they are typically only used by category theorists, for whom they are something of a secret weapon. This book is the first systematic treatment of the theory of (co)ends. Aimed at a wide audience, it presents the (co)end calculus as a powerful tool to clarify and simplify definitions and results in category theory and export them for use in diverse areas of mathematics and computer science. It is organised as an easy-to-cite reference manual, and will be of interest to category theorists and users of category theory alike.