خرید و دانلود نسخه کامل کتاب Categories, Allegories

توضیحاتی در مورد کتاب

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