D-ultrafilters and their monads

DOI10.1016/J.AIM.2020.107486MaRDI QIDQ2217539zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Lurdes Sousa

Publication date 30 December 2020

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

codensity monadlocally finitely presentable categoryultrafilter

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Accessible and locally presentable categories (18C35)

Abstract: For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D-ultrafilter on an object, where D is a "nice" cogenerator of K. We prove that the codensity monad assigns to every object an object representing all D-ultrafilters on it. Our result covers e.g. categories of sets, vector spaces, posets, semilattices, graphs and M-sets for finite commutative monoids M.

Review text

It is well-known that a codensity monad on the category of sets of the full embedding of finite sets is the ultrafilter monad. The paper generalizes this to a number of locally finitely presentable categories \(\mathcal K\) by introducing a concept of \(D\)-ultrafilter on an object \(K\) where \(D\) is a suitable cogenerator of of \(\mathcal K\) (in sets, this cogenerator is \(2\)). It applies to categories of vector spaces, posets, or semilattices.

Recommendations

• Codensity and the ultrafilter monad
• Codensity: Isbell duality, pro-objects, compactness and accessibility
• Ultrafilters, finite coproducts and locally connected classifying toposes
• Colimit-dense subcategories
• Monads in topology

Cites work

• Adequate subcategories
• Codensity and the ultrafilter monad
• Colimit-dense subcategories
• Equational completion, model induced triples and pro-objects
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 3236070 (Why is no real title available?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Operations Preserving All Equivalence Relations
• Strong functors and monoidal monads
• Tensor Products and Bimorphisms

Cited in

(10)

• A formula for codensity monads and density comonads
• Ultrafilters, finite coproducts and locally connected classifying toposes
• On lax epimorphisms and the associated factorization
• Codensity and the ultrafilter monad
• scientific article; zbMATH DE number 4091504 (Why is no real title available?)
• Colimit-dense subcategories
• scientific article; zbMATH DE number 5585079 (Why is no real title available?)
• scientific article; zbMATH DE number 5207777 (Why is no real title available?)
• Pushforward monads
• Strong dinatural transformations and generalised codensity monads

This page was built for publication: D-ultrafilters and their monads

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