ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Relative Category Theory and Geometric Morphisms: A Logical Approach

دانلود کتاب نظریه مقوله نسبی و مورفیسم های هندسی: رویکردی منطقی

Relative Category Theory and Geometric Morphisms: A Logical Approach

مشخصات کتاب

Relative Category Theory and Geometric Morphisms: A Logical Approach

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Oxford Logic Guides 16 
ISBN (شابک) : 0198534345, 9780198534341 
ناشر: Oxford University Press, USA 
سال نشر: 1991 
تعداد صفحات: 278 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 45,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Relative Category Theory and Geometric Morphisms: A Logical Approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه مقوله نسبی و مورفیسم های هندسی: رویکردی منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نظریه مقوله نسبی و مورفیسم های هندسی: رویکردی منطقی

نظریه توپوس زمینه و زبان مهمی را برای بسیاری از منطق ریاضی و نظریه مجموعه ها فراهم می کند. به خوبی شناخته شده است که یک زبان تایپ شده می تواند برای توپوس به عنوان دسته ای از مجموعه ها در نظر گرفته شود. این یک تعامل پربار بین نظریه مقوله و نظریه مجموعه را ممکن می سازد. با این حال، یک مانع برای رویکرد منطقی به نظریه توپوس، درمان مورفیسم های هندسی بوده است. این کتاب یک راه حل راحت و طبیعی برای این مشکل با توسعه مفهوم یک قاب نسبت به یک توپ اولیه ارائه می دهد. نویسندگان نشان می‌دهند که چگونه این تکنیک رویکردی منطقی را به موضوعاتی مانند نظریه مقوله نسبت به توپوس و قضیه نسبی ژیرو امکان می‌دهد. کار مستقل است با این تفاوت که نویسندگان آشنایی با نظریه مقوله پایه و نظریه توپوس را پیش فرض می دانند. منطق‌دانان، نظریه‌پردازان مجموعه‌ها و دسته‌بندی‌ها، و دانشمندان رایانه‌ای که در این زمینه کار می‌کنند، خواندن این کار ضروری است.


توضیحاتی درمورد کتاب به خارجی

Topos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can be given for a topos to be regarded as a category of sets. This enables a fruitful interplay between category theory and set theory. However, one stumbling block to a logical approach to topos theory has been the treatment of geometric morphisms. This book presents a convenient and natural solution to this problem by developing the notion of a frame relative to an elementary topos. The authors show how this technique enables a logical approach to be taken to topics such as category theory relative to a topos and the relative Giraud theorem. The work is self-contained except that the authors presuppose a familiarity with basic category theory and topos theory. Logicians, set and category theorists, and computer scientist working in the field will find this work essential reading.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی