دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Cut elimination in categories
دانلود کتاب حذف حذف در دسته ها
مشخصات کتاب
Cut elimination in categories
دسته بندی: جبر ویرایش: rev.ed. draft نویسندگان: Došen. Kosta سری: Trends in logic 6 ISBN (شابک) : 9789048152261, 9048152267 ناشر: Springer سال نشر: 2008 تعداد صفحات: 278 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب حذف حذف در دسته ها: مقوله ها (ریاضیات)، نظریه اثبات.
در صورت تبدیل فایل کتاب Cut elimination in categories به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب حذف حذف در دسته ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب حذف حذف در دسته ها
نظریه اثبات و نظریه مقوله برای اولین بار حدود 30 سال پیش توسط لامبک گردآوری شدند، اما تاکنون، بنیادی ترین مفاهیم نظریه مقوله (بر خلاف تجسم آنها در منطق) به طور سیستماتیک از نظر نظریه اثبات توضیح داده نشده است. در اینجا نشان داده می شود که این مفاهیم، به ویژه مفهوم الحاق، می تواند به گونه ای فرموله شود که با حذف ترکیب مشخص شود. از جمله مزایای این فرمول‌بندی‌های بدون ترکیب، روش‌های تصمیم‌گیری نحوی و ساده مدل-نظری و هندسی برای جابجایی نمودارهای فلش‌ها است. حذف ترکیب، در قالب حذف برش Gentzen، در دسته بندی ها قرار می گیرد، و تکنیک های الهام گرفته شده از Gentzen نشان داده شده است که حتی در یک زمینه کاملاً مقوله ای بهتر از منطق کار می کنند. آشنایی با ایده‌های اساسی نظریه برهان عام فقط به خاطر انگیزه است و پرداختن به موضوعات مربوط به مقولات نیز به طور کلی خود شامل است. این مونوگراف علاوه بر موضوعات آشنا که به روشی بدیع و ساده ارائه شده است، نتایج جدیدی نیز دارد. می توان از آن به عنوان متن مقدماتی در نظریه برهان مقوله ای استفاده کرد.
توضیحاتی درمورد کتاب به خارجی
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of diagrams of arrows. Composition elimination, in the form of Gentzen's cut elimination, takes in categories, and techniques inspired by Gentzen are shown to work even better in a purely categorical context than in logic. An acquaintance with the basic ideas of general proof theory is relied on only for the sake of motivation, however, and the treatment of matters related to categories is also in general self contained. Besides familiar topics, presented in a novel, simple way, the monograph also contains new results. It can be used as an introductory text in categorical proof theory.
فهرست مطالب
Front Matter....Pages i-xii
Introduction....Pages 1-16
Categories....Pages 17-52
Functors....Pages 53-69
Natural Transformations....Pages 70-80
Adjunctions....Pages 81-148
Comonads....Pages 149-194
Cartesian Categories....Pages 195-218
Conclusion....Pages 219-220
Back Matter....Pages 221-229
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Logic as Algebra
دانلود کتاب Lie Groups, Lie Algebras, And Representations An Elementary Introduction
