Codensity and the ultrafilter monad

zbMATH Open1273.18009arXiv1209.3606MaRDI QIDQ2847366FDOQ2847366

Tom Leinster

Publication date: 4 September 2013

Published in: Theory and Applications of Categories (Search for Journal in Brave)

Abstract: Even a functor without an adjoint induces a monad, namely, its codensity monad; this is subject only to the existence of certain limits. We clarify the sense in which codensity monads act as substitutes for monads induced by adjunctions. We also expand on an undeservedly ignored theorem of Kennison and Gildenhuys: that the codensity monad of the inclusion of (finite sets) into (sets) is the ultrafilter monad. This result is analogous to the correspondence between measures and integrals. So, for example, we can speak of integration against an ultrafilter. Using this language, we show that the codensity monad of the inclusion of (finite-dimensional vector spaces) into (vector spaces) is double dualization. From this it follows that compact Hausdorff spaces have a linear analogue: linearly compact vector spaces. Finally, we show that ultraproducts are categorically inevitable: the codensity monad of the inclusion of (finite families of sets) into (families of sets) is the ultraproduct monad.

Full work available at URL: https://arxiv.org/abs/1209.3606

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• D-ultrafilters and their monads
• Monads in topology
• Codensity: Isbell duality, pro-objects, compactness and accessibility
• Codensity and the Giry monad
• Codensity and Stone spaces

zbMATH Keywords

densityintegrationcompact Hausdorff spacemonadultrafilterultraproductcodensitydouble dual

Mathematics Subject Classification ID

Classical measure theory (28A99) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Ultraproducts and related constructions (03C20) General theory of categories and functors (18A99)

Cited In (24)

• Harmonic maps to buildings and singular perturbation theory
• Title not available (Why is that?)
• Tangle and Maximal Ideal
• Semantic factorization and descent
• Title not available (Why is that?)
• Quantifiers on languages and codensity monads
• Quantifiers on languages and codensity monads
• D-ultrafilters and their monads
• Companions, Codensity and Causality
• Title not available (Why is that?)
• On a divisibility property involving the sum of element orders
• Title not available (Why is that?)
• Spined categories: generalizing tree-width beyond graphs
• Codensity and the Giry monad
• Functional distribution monads in functional-analytic contexts
• Ultrafilters, finite coproducts and locally connected classifying toposes
• Codensity: Isbell duality, pro-objects, compactness and accessibility
• From probability monads to commutative effectuses
• Codensity, profiniteness and algebras of semiring-valued measures
• The monadic tower for \(\infty\)-categories
• Perfect numbers and finite groups.
• Colimit-dense subcategories
• Title not available (Why is that?)
• Discrete density comonads and graph parameters

This page was built for publication: Codensity and the ultrafilter monad

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847366)