25 citations · 45 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…
On lifting univalence to the equivariant setting
Anthony Bordg
This PhD thesis deals with some new models of intensional type theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the defini…