دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: J. Adamek, J. Rosicky سری: London Mathematical Society Lecture Note Series ISBN (شابک) : 0521422612, 9780521422611 ناشر: Cambridge University Press سال نشر: 1994 تعداد صفحات: 330 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Locally Presentable and Accessible Categories به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دسته بندی های محلی و قابل دسترسی به صورت محلی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مفاهیم یک مقوله قابل ارائه به صورت محلی و یک مقوله قابل دسترس در فرمول بندی ارتباطات بین جبر جهانی، نظریه مدل، منطق و علوم کامپیوتر بسیار مفید است. هدف این کتاب ارائه توضیحی از تئوری و کاربردهای این مقولات در سطح قابل دسترس برای دانشجویان تحصیلات تکمیلی است. مفاهیم اشیاء قابل ارائه با لامبدا، دستههای قابل ارائه با لامبدا به صورت محلی، و دستههای قابل دسترس با لامبدا به تفصیل مورد بحث قرار گرفتهاند. نویسندگان ثابت می کنند که مقوله های اساساً جبری فرید دقیقاً مقوله های قابل ارائه محلی هستند. در فصل آخر به برخی از موضوعات پیشرفته در نظریه مدل پرداخته اند.
The concepts of a locally presentable category and an accessible category are extremely useful in formulating connections between universal algebra, model theory, logic, and computer science. The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. The concepts of lambda-presentable objects, locally lambda-presentable categories, and lambda-accessible categories are discussed in detail. The authors prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapter, they treat some advanced topics in model theory.