TY  - RPRT
TI  - Univalent categories and the Rezk completion
AU  - Benedikt Ahrens
AU  - Chris Kapulkin
AU  - Michael Shulman
PY  - 2014
DO  - 10.1017/s0960129514000486
UR  - https://arxiv.org/abs/1303.0584
ID  - 1303.0584
ER  -