Auflistung 1 - Oberwolfach Preprints (OWP) Nach Schlagwort "effective faithful morphism"
Anzeige der Dokumente 1-1 von 1
-
Semantic Factorization and Descent
[OWP-2023-05] (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism $p$ exists and is preserved by a suitable morphism, the factorization ...