@article{article, title = {{Univalent completion}}, publisher = {{Springer Verlag}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/127339 }}, year = {{2018}}, month = {{8}}, author = {{van Den Berg B and Moerdijk I}}, doi = {{10.1007/s00208-017-1614-3}}, volume = {{371}}, journal = {{Mathematische Annalen}}, issue = {{3-4}}, pages = {{1337-1350}}, note = {{Accessed on 2025/12/08}}}