کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662042 1633471 2013 29 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Martin-Löf complexes
ترجمه فارسی عنوان
مجموعه های مارتین ـ لوف
کلمات کلیدی
مجموعه Martin-Löf؛ نظریه نوع هموتوپی؛ آستانه 1 ؛ ساختار مدل Quillen؛ Groupoids
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

In this paper we define Martin-Löf complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-Löf type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-truncated Martin-Löf complexes and that this category is Quillen equivalent to the category of groupoids. In particular, 1-truncated Martin-Löf complexes are a model of homotopy 1-types.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 10, October 2013, Pages 928–956
نویسندگان
, , ,