Buchholtz, Ulrik, de Jong, Tom, Rijke, Egbert, "Epimorphisms and acyclic types in univalent foundations", The Journal of Symbolic Logic, 2025