Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations

Fernando Lucatelli Nunes, Rui Prezado, Lurdes Sousa

For any suitable base category $\mathcal{V}$, we find that $\mathcal{V}$-fully faithful lax epimorphisms in $\mathcal{V}$-$\mathsf{Cat}$ are precisely those $\mathcal{V}$-funct…