Browsing 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] Lucatelli Nunes, Fernando; Prezado, Rui; Sousa, Lurdes (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] Clementino, Maria Manuel; Lucatelli Nunes, Fernando (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 ...