دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Accessible Categories: The Foundations of Categorical Model Theory
دانلود کتاب مقوله های قابل دسترس: مبانی نظریه مدل مقوله ای
مشخصات کتاب
Accessible Categories: The Foundations of Categorical Model Theory
ویرایش:
نویسندگان: Michael Makkai. Robert Pare (ed.)
سری: Contemporary Mathematics 104
ISBN (شابک) : 082185111X, 1219686166
ناشر: Amer Mathematical Society
سال نشر: 1989
تعداد صفحات: 186
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Accessible Categories: The Foundations of Categorical Model Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقوله های قابل دسترس: مبانی نظریه مدل مقوله ای نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقوله های قابل دسترس: مبانی نظریه مدل مقوله ای
این کتاب که برای نظریه‌پردازان مقوله و منطق‌دانان آشنا با نظریه مقوله‌های پایه در نظر گرفته شده است، بر نظریه مدل مقوله‌ای تمرکز دارد که به مقوله‌های مدل‌های نظریه‌های مرتبه اول بی‌نهایت، به نام مقوله‌های قابل دسترس، مربوط می‌شود. نقطه شروع، توصیف مقوله های قابل دسترس بر حسب مفاهیم آشنا از نظریه گابریل-اولمر در مورد مقولات قابل ارائه محلی است. بیشتر کارها بر روی سازه‌های مختلف (مانند بی‌لیت‌های وزنی و حاشیه‌های سهل‌انگیز) متمرکز می‌شوند که وقتی روی دسته‌های در دسترس انجام می‌شوند، دسته‌های قابل دسترس جدیدی را به دست می‌دهند. این سازه ها لزوما ماهیت 2 طبقه ای دارند. نویسندگان برخی از جنبه‌های نظریه دو دسته‌ای، علاوه بر برخی نظریه‌های مدل پایه، و برخی نظریه مجموعه‌ها را پوشش می‌دهند. یکی از ابزارهای اصلی مورد استفاده در این مطالعه، تئوری طرح‌های ترکیبی است که نویسندگان آن را برای ارائه نتایج ملموس در مورد نظریه مدل تخصص می‌دهند. مثال های زیادی میزان کاربرد این مفاهیم را نشان می دهد. به طور خاص، برخی از کاربردها برای نظریه توپوس ارائه شده است.
شاید مهم‌ترین سهم کتاب روشی باشد که نظریه مدل را با عبارات مقوله‌ای تنظیم می‌کند و در را برای کار بیشتر در این راستا باز می‌کند. این کتاب که نیاز به پیشینه اولیه در نظریه مقوله دارد، درکی از نظریه مدل در اصطلاحات مقوله ای، آشنایی با روش های 2 طبقه ای و ابزار مفیدی برای مطالعه توپوزها و سایر مقوله ها در اختیار خوانندگان قرار می دهد.
توضیحاتی درمورد کتاب به خارجی
Intended for category theorists and logicians familiar with basic category theory, this book focuses on categorical model theory, which is concerned with the categories of models of infinitary first order theories, called accessible categories. The starting point is a characterization of accessible categories in terms of concepts familiar from Gabriel-Ulmer's theory of locally presentable categories. Most of the work centers on various constructions (such as weighted bilimits and lax colimits), which, when performed on accessible categories, yield new accessible categories. These constructions are necessarily 2-categorical in nature; the authors cover some aspects of 2-category theory, in addition to some basic model theory, and some set theory. One of the main tools used in this study is the theory of mixed sketches, which the authors specialize to give concrete results about model theory. Many examples illustrate the extent of applicability of these concepts. In particular, some applications to topos theory are given.
Perhaps the book's most significant contribution is the way it sets model theory in categorical terms, opening the door for further work along these lines. Requiring a basic background in category theory, this book will provide readers with an understanding of model theory in categorical terms, familiarity with 2-categorical methods, and a useful tool for studying toposes and other categories
