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  - https://eprints.whiterose.ac.uk/id/eprint/127387

PY  - 2018/10/01

AU  - van den Berg B

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1016/j.jpaa.2017.11.017

PB  - Elsevier

VL  - 222

IS  - 10

SP  - 3137

EP  - 3181

Y2  - 2025/12/08

ER  -