نرم افزار: سیستم ها: محاسبات علمی

دسته بندی های قابل ارائه و در دسترس به صورت محلی

Locally presentable and accessible categories

دانلود کتاب Locally presentable and accessible categories (به فارسی: دسته بندی های قابل ارائه و در دسترس به صورت محلی) نوشته شده توسط «J. Adamek – J. Rosicky»


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

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: J. Adamek – J. Rosicky

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1994

تعداد صفحه: 330

حجم کتاب: 3 مگابایت

کد کتاب: 9780521422611 , 0521422612

توضیحات کتاب دسته بندی های قابل ارائه و در دسترس به صورت محلی

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


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.

دانلود کتاب «دسته بندی های قابل ارائه و در دسترس به صورت محلی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.