Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
11010142 | Annals of Pure and Applied Logic | 2018 | 25 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Steve Awodey,