توضیحات
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.
————————————————————–
ترجمه ماشینی :
نظریه مقوله شاخه ای از جبر انتزاعی با کاربردهای بسیار متنوع است. این متن و کتاب مرجع نه تنها ریاضیدانان، بلکه محققان و دانشجویان علوم کامپیوتر، منطق، زبانشناسی، علوم شناختی، فلسفه و هر یک از رشتههای دیگری که ایدهها در آن به کار میروند، مورد توجه قرار گرفته است. این کتاب با داشتن تعاریف روشن از مفاهیم اساسی، روشن شده با مثال های قابل دسترس متعدد، و ارائه شواهد کامل برای تمام گزاره ها و قضایای مهم، بر آن است تا ایده ها، قضایا و روش های اساسی نظریه مقوله را برای این خوانندگان گسترده قابل درک کند. اگرچه با فرض چند پیش نیاز ریاضی، استاندارد دقت ریاضی به خطر نیفتاده است. مواد تحت پوشش شامل هسته استاندارد دسته بندی ها است. فاکتورها تحولات طبیعی؛ هم ارزی؛ حدود و حدود; دسته بندی تابع; قابل نمایندگی لم یوندا؛ الحاقات؛ مونادها یک مبحث اضافی از دستههای بسته دکارتی و حساب لامبدا نیز ارائه شده است – برای دانشمندان علوم کامپیوتر، منطقدانان و زبانشناسان ضروری است! \ این ویرایش دوم شامل بازبینیهای متعددی برای متن اصلی است، از جمله بسط شرح، بازنگری و تشریح برهانها، ارائه نمودارهای اضافی، تصحیح اشتباهات تایپی و در نهایت، افزودن بخش کاملاً جدیدی در دستههای یکنما. نزدیک به صد
tag : دانلود کتاب نظریه مقوله , Download نظریه مقوله , دانلود نظریه مقوله , Download Category Theory Book , نظریه مقوله دانلود , buy نظریه مقوله , خرید کتاب نظریه مقوله , دانلود کتاب Category Theory , کتاب Category Theory , دانلود Category Theory , خرید Category Theory , خرید کتاب Category Theory ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.