25 citations · 28 across the 3 of their papers we have counts for
1 paper · 1 filter
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…