Browsing 2023 by Subject "effective descent morphisms"
Now showing items 1-2 of 2
-
Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
[OWP-2023-06] (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)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}$-functors $F \colon \mathcal{A} \to \mathcal{B}$ ... -
Lax Comma Categories of Ordered Sets
[OWP-2023-08] (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $\mathsf{Ord} //X$. In this paper ...