دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Sheaves in Geometry and Logic: A First Introduction to Topos Theory
دانلود کتاب Sheaves in هندسه و منطق: اولین مقدمه ای بر نظریه Topos
مشخصات کتاب
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
ویرایش:
نویسندگان: Saunders MacLane. Ieke Moerdijk
سری: Universitext
ISBN (شابک) : 0387977104, 3540977104
ناشر: Springer
سال نشر: 1992
تعداد صفحات: 638
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Sheaves in Geometry and Logic: A First Introduction to Topos Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Sheaves in هندسه و منطق: اولین مقدمه ای بر نظریه Topos نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Sheaves in هندسه و منطق: اولین مقدمه ای بر نظریه Topos
نوارها در هندسه به‌عنوان ضرایبی برای هم‌شناسی و به‌عنوان توصیفی از عملکردهای مناسب برای انواع مختلف منیفولدها پدید آمدند. شیوها همچنین در منطق به عنوان حامل مدل های تئوری مجموعه ها ظاهر می شوند. این متن تئوری توپوس را همانطور که از مطالعه شیوها ایجاد شده است ارائه می دهد. با چندین مثال شروع می شود، ایده های زیربنایی توپولوژی و نظریه شیف و همچنین نظریه کلی توپوزهای ابتدایی و مورفیسم های هندسی و ارتباط آنها با منطق را توضیح می دهد.
توضیحاتی درمورد کتاب به خارجی
Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
فهرست مطالب
Front Matter....Pages i-xii
Prologue....Pages 1-9
Categorical Preliminaries....Pages 10-23
Categories of Functors....Pages 24-63
Sheaves of Sets....Pages 64-105
Grothendieck Topologies and Sheaves....Pages 106-160
First Properties of Elementary Topoi....Pages 161-217
Basic Constructions of Topoi....Pages 218-266
Topoi and Logic....Pages 267-346
Geometric Morphisms....Pages 347-420
Classifying Topoi....Pages 421-471
Localic Topoi....Pages 472-527
Geometric Logic and Classifying Topoi....Pages 528-573
Back Matter....Pages 574-630
