Codensity and the ultrafilter monad
From MaRDI portal
Publication:2847366
zbMath1273.18009arXiv1209.3606MaRDI QIDQ2847366
Publication date: 4 September 2013
Full work available at URL: https://arxiv.org/abs/1209.3606
General theory of categories and functors (18A99) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Ultraproducts and related constructions (03C20) Classical measure theory (28A99)
Related Items (21)
Perfect numbers and finite groups. ⋮ Codensity: Isbell duality, pro-objects, compactness and accessibility ⋮ Functional distribution monads in functional-analytic contexts ⋮ From probability monads to commutative effectuses ⋮ Codensity and the Giry monad ⋮ Spined categories: generalizing tree-width beyond graphs ⋮ Unnamed Item ⋮ Tangle and Maximal Ideal ⋮ Unnamed Item ⋮ D-ultrafilters and their monads ⋮ Companions, Codensity and Causality ⋮ 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 ⋮ Unnamed Item ⋮ Colimit-dense subcategories ⋮ The monadic tower for \(\infty\)-categories ⋮ Codensity, profiniteness and algebras of semiring-valued measures ⋮ Quantifiers on languages and codensity monads ⋮ Discrete density comonads and graph parameters ⋮ Semantic factorization and descent
This page was built for publication: Codensity and the ultrafilter monad
