All Questions

By default, all terms are understood in the infinity sense (“category” means “(∞,1)-category”, etc.) Recall that the morphism $X \to Y$ is an effective epimorphism if the Čech diagram $$ ... \to X \...