TY  - RPRT
TI  - Univalent completion
AU  - Benno van den Berg
AU  - Ieke Moerdijk
PY  - 2015
UR  - https://arxiv.org/abs/1508.04021
ID  - 1508.04021
ER  -