TY  - RPRT
TI  - Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories
AU  - Benno van den Berg
AU  - Ieke Moerdijk
PY  - 2017
UR  - https://arxiv.org/abs/1603.02456
ID  - 1603.02456
ER  -