TY  - RPRT
TI  - On the Inadequacy of the Projective Structure with Respect to the Univalence Axiom
AU  - Anthony Bordg
PY  - 2020
UR  - https://arxiv.org/abs/1712.02652
ID  - 1712.02652
ER  -