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…
Univalent Foundations and the UniMath Library
Anthony Bordg
We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics imple…
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…