کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
11010142 1812795 2018 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A cubical model of homotopy type theory
ترجمه فارسی عنوان
یک مدل مکعبی از نظریه نوع هموتوپی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
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
نویسندگان
,