ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Truncation levels in homotopy type theory

دانلود کتاب سطوح برش در نظریه نوع هموتوپی

Truncation levels in homotopy type theory

مشخصات کتاب

Truncation levels in homotopy type theory

ویرایش: version 2 Dec 2015 
نویسندگان:   
سری: PhD thesis at University of Nottingham 
 
ناشر:  
سال نشر: 2015 
تعداد صفحات: 210 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

قیمت کتاب (تومان) : 31,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Truncation levels in homotopy type theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سطوح برش در نظریه نوع هموتوپی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی درمورد کتاب به خارجی



فهرست مطالب

Summary......Page 3
Acknowledgements......Page 5
Contents......Page 7
Introduction......Page 9
Historical Outline......Page 10
A brief introduction to truncation levels and operations......Page 14
Overview over Our Results......Page 16
Computer-Verified Formalisations......Page 20
Declaration of Authorship and Previous Publications......Page 23
Martin-Löf Type Theory......Page 25
Constructions with Propositional Equality......Page 31
Homotopy Type Theory......Page 42
A Word on Ambiguity Avoidance and Readability......Page 47
Hedberg's Theorem Revisited......Page 51
Generalisations to Higher Levels......Page 57
Collapsible Types have Split Support......Page 59
Populatedness......Page 63
Comparison of Notions of Existence......Page 66
The Limitations of Weak Constancy......Page 77
Factorisation for Special Cases......Page 80
On the Computation Rule of the Propositional Truncation......Page 87
The Interval......Page 88
Judgmental Factorisation......Page 91
An Invertibility Puzzle......Page 93
Background of the Problem......Page 97
The First Cases......Page 101
Pointed Types......Page 103
Homotopically Complicated Types......Page 105
A Solution with the ``Wrapping'' Approach......Page 109
Connectedness......Page 112
Combining the Results......Page 120
The General Universal Properties of Truncations......Page 123
A First Few Special Cases......Page 127
Fibration Categories, Inverse Diagrams, and Reedy Limits......Page 132
Subdiagrams......Page 136
Equality Diagrams......Page 138
The Equality Semisimplicial Type......Page 139
Fibrant Diagrams of Natural Transformations......Page 143
Extending Semi-Simplicial Types......Page 145
The Main Theorem......Page 149
Finite Cases......Page 155
Elimination Principles for Higher Truncations......Page 158
The Big Picture: Solved and Unsolved Cases......Page 169
The Problem of Formalising Infinite Structures......Page 175
Semi-Simplicial Types......Page 176
Yoneda Groupoids......Page 185
Set-Based Groupoids......Page 191
Further Notes on Related Work and Conclusions......Page 194
Bibliography......Page 201




نظرات کاربران