TY - JOUR T1 - Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories JO - Journal of Pure and Applied Algebra UR - http://eprints.whiterose.ac.uk/127387/ PY - 2017/12/02 AU - van den Berg B AU - Moerdijk I ED - DO - DOI: 10.1016/j.jpaa.2017.11.017 Y2 - 2025/01/07 ER -