Codensity: Isbell duality, pro-objects, compactness and accessibility

DOI10.1016/J.JPAA.2020.106379MaRDI QIDQ2176087zbMATH OpenOpenAlexFDO

Authors Ivan Di Liberti

Publication date 4 May 2020

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

accessible monadcodensity monadcompact Hausdorff spaceIsbell duality

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) Connections of general topology with other structures, applications (54H99)

Abstract: We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $AsubsetK$. These monads behave quite similarly, we show some connections with the Isbell duality, pro-finite objects and compact spaces. We prove that they are quite unlikely to be accessible. Finally, we introduce the notion of generically idempotent monad and comment its properties.

Review text

The author studies codensity monads on a category \(\mathcal K\) induced by its full subcategory \(\mathcal A\). These monads include idempotent monads but also the ultrafilter monad on sets, the double dualization monad on vector spaces, or the Giry monad on measurable spaces. The paper relates these monads to the Isbell duality, to profinite objects, and explains why they are rarely accessible.

Recommendations

• Compactness properties, openness criteria and coderivatives
• Codensity, profiniteness and algebras of semiring-valued measures
• Codings and strongly inaccessible cardinals
• Codensity and the ultrafilter monad
• Compactifications, \(A\)-compactifications and proximities
• A formula for codensity monads and density comonads
• On the axiomatisability of the dual of compact ordered spaces
• scientific article; zbMATH DE number 937382
• Completeness theorems via the double dual functor

Cites work

• Adequate subcategories
• Codensity and the Giry monad
• Codensity and the ultrafilter monad
• Functors Involving C.S.S. Complexes
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3953031 (Why is no real title available?)
• scientific article; zbMATH DE number 4057746 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1863402 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Kan extensions in enriched category theory
• Some remarks on total categories
• Structure of categories

Cited in

(11)

• A formula for codensity monads and density comonads
• D-ultrafilters and their monads
• Codensity and the ultrafilter monad
• Codensity and Stone spaces
• Isbell conjugacy and the reflexive completion
• Colimit-dense subcategories
• Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory
• Formal model theory and higher topology
• Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products
• On vector spaces with formal infinite sums
• Pushforward monads

This page was built for publication: Codensity: Isbell duality, pro-objects, compactness and accessibility

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