%0 Journal Article %A Tom Leinster %T Codensity and the ultrafilter monad %J Theory and applications of categories %D 2013 %P 332-370 %V 28 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2013_28_a12/ %G en %F TAC_2013_28_a12