Browsing 2023 by Subject "codensity monads"
Now showing items 1-1 of 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 ...