Codensity: Isbell duality, pro-objects, compactness and accessibility (Q2176087)

The author studies codensity monads on a category \(\mathcal K\) induced by its full subcategory \(\mathcal A\). These monads include idempotent monads but also the ultrafilter monad on sets, the double dualization monad on vector spaces, or the Giry monad on measurable spaces. The paper relates these monads to the Isbell duality, to profinite objects, and explains why they are rarely accessible.