25 citations · 45 across the 10 of their papers we have counts for
Showing 2017 · math.CTShow all
3 papers · 2 filters
math.CT2017
On a model invariance problem in Homotopy Type Theory
Anthony Bordg
In this article the author endows the functor category [B(Z2),Gpd] with the structure of a type-theoretic fibration category with a univalent universe using the so-called injective…
math.CT2017
On the Inadequacy of the Projective Structure with Respect to the Univalence Axiom
Anthony Bordg
In this article the author endows the functor category [B(C2),Gpd] with the structure of a type-theoretic fibration category with a universe using the projective fibrations. It off…
math.CT2017
The Interpretation Lifting Theorem for C-Systems
Anthony Bordg
In this article we present a solution to a conjecture of Vladimir Voevodsky regarding C-systems. This conjecture provides, under some assumptions, a lift of a functor $M\colon \mat…