Buchholtz, U., de Jong, T., & Rijke, E. (2025). Epimorphisms and acyclic types in univalent foundations. Journal of Symbolic Logic, 1-36. https://doi.org/10.1017/jsl.2024.76