توضیحات
The language of -categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an -category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of -categories from first principles in a model-independent fashion using the axiomatic framework of an -cosmos, the universe in which -categories live as objects. An -cosmos is a fertile setting for the formal category theory of -categories, and in this way the foundational proofs in -category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.
————————————————————–
ترجمه ماشینی :
زبان -categories یک روش جدید روشنگر برای بیان بسیاری از نتایج در ریاضیات با ابعاد بالاتر ارائه می دهد، اما می تواند برای افراد ناآشنا چالش برانگیز باشد. برای توضیح اینکه یک دسته دقیقا چیست، نیاز به مدلهای فنی مختلفی دارد که این سؤال را مطرح میکند که چگونه میتوان آنها را با هم مقایسه کرد. برای غلبه بر این، یک رویکرد مستقل از مدل مورد نظر است، به طوری که قضایای اثبات شده با هر مدلی برای همه آنها اعمال شود. این متن نظریه مقولهها را از اصول اولیه به شیوهای مستقل از مدل با استفاده از چارچوب بدیهی یک کیهان، جهانی که در آن دستهها به عنوان اشیا زندگی میکنند، توسعه میدهد. یک کیهان محیطی حاصلخیز برای نظریه مقوله رسمی مقولهها است، و به این ترتیب، برهانهای بنیادی در نظریه مقولهها شباهت زیادی به مبانی کلاسیک نظریه مقولههای معمولی دارند. این اولین مقدمه که مجهز به تمرینها و ضمائم با مطالب پیشزمینه است، برای دانشآموزان و محققانی است که پایهای قوی در نظریه کلاسیک 1-دسته دارند.
tag : دانلود کتاب عناصر نظریه رده ê₧ , Download عناصر نظریه رده ê₧ , دانلود عناصر نظریه رده ê₧ , Download Elements of ê₧-Category Theory Book , عناصر نظریه رده ê₧ دانلود , buy عناصر نظریه رده ê₧ , خرید کتاب عناصر نظریه رده ê₧ , دانلود کتاب Elements of ê₧-Category Theory , کتاب Elements of ê₧-Category Theory , دانلود Elements of ê₧-Category Theory , خرید Elements of ê₧-Category Theory , خرید کتاب Elements of ê₧-Category Theory ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.