دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 1st نویسندگان: Kosta Došen سری: Trends in Logic 6 ISBN (شابک) : 0792357205 ناشر: Kluwer, Dordrecht سال نشر: 1999 تعداد صفحات: 244 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب 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.
Content: Preface. Introduction. 1. Categories. 2. Functors. 3. Natural Transformations. 4. Adjunctions. 5. Comonads. 6. Cartesian Categories. Conclusion. References. Index.