@article{article, title = {{Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories}}, publisher = {{Elsevier}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/127387 }}, year = {{2018}}, month = {{10}}, author = {{van den Berg B and Moerdijk I}}, doi = {{10.1016/j.jpaa.2017.11.017}}, volume = {{222}}, journal = {{Journal of Pure and Applied Algebra}}, issue = {{10}}, pages = {{3137-3181}}, note = {{Accessed on 2025/12/08}}}