The nForum has moved to Zulip: effective epimorphism in an (infinity,1)-category.