Codensity and the ultrafilter monad

MaRDI QIDQ2847366zbMATH OpenFDO

Authors Tom Leinster

Publication date 4 September 2013

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

Full work available at URL https://arxiv.org/abs/1209.3606, http://www.emis.de/journals/TAC/volumes/28/13/28-13abs.html

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

zbMATH Keywords

codensitycompact Hausdorff spacedensitydouble dualintegrationmonadultrafilterultraproduct

Mathematics Subject Classification ID

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

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.

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

Cited in

(30)

• Functional distribution monads in functional-analytic contexts
• From probability monads to commutative effectuses
• A formula for codensity monads and density comonads
• Ultrafilters, finite coproducts and locally connected classifying toposes
• Harmonic maps to buildings and singular perturbation theory
• On a divisibility property involving the sum of element orders
• The monadic tower for \(\infty\)-categories
• Discrete density comonads and graph parameters
• Semantic factorization and descent
• Codensity: Isbell duality, pro-objects, compactness and accessibility
• D-ultrafilters and their monads
• Codensity, profiniteness and algebras of semiring-valued measures
• Tangle and Maximal Ideal
• Companions, codensity and causality
• Perfect numbers and finite groups.
• scientific article; zbMATH DE number 4091504 (Why is no real title available?)
• Codensity and Stone spaces
• Quantifiers on languages and codensity monads
• Eilenberg-Moore monoids and backtracking monad transformers
• scientific article; zbMATH DE number 7552812 (Why is no real title available?)
• Quantifiers on languages and codensity monads
• Colimit-dense subcategories
• scientific article; zbMATH DE number 5585079 (Why is no real title available?)
• Spined categories: generalizing tree-width beyond graphs
• scientific article; zbMATH DE number 7696889 (Why is no real title available?)
• On vector spaces with formal infinite sums
• The right angled Artin group functor as a categorical embedding
• Pushforward monads
• Strong dinatural transformations and generalised codensity monads
• Codensity and the Giry monad

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)