کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
11010142 | 1812795 | 2018 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A cubical model of homotopy type theory
ترجمه فارسی عنوان
یک مدل مکعبی از نظریه نوع هموتوپی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We construct an algebraic weak factorization system (L,R) on the category of cartesian cubical sets, in which the canonical path object factorization AâAIâAÃA, induced by the 1-cube I, is an (L,R)-factorization for any R-object A.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 12, December 2018, Pages 1270-1294
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 12, December 2018, Pages 1270-1294
نویسندگان
Steve Awodey,