Buchholtz, U., De Jong, T., & Rijke, E. (in press). Epimorphisms and acyclic types in univalent foundations. Journal of Symbolic Logic,