Totally distributive toposes

DOI10.1016/J.JPAA.2012.03.018MaRDI QIDQ1936112zbMATH OpenOpenAlexFDO

Authors Rory B. B. Lucyshyn-Wright

Publication date 21 February 2013

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

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

zbMATH Keywords

injective Grothendieck toposespartially ordered setspresheaf toposesstring of adjunctionstotally distributivetotally distributive categoriesYoneda embedding

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25)

Abstract: A locally small category E is totally distributive (as defined by Rosebrugh-Wood) if there exists a string of adjoint functors t -| c -| y, where y : E --> E^ is the Yoneda embedding. Saying that E is lex totally distributive if, moreover, the left adjoint t preserves finite limits, we show that the lex totally distributive categories with a small set of generators are exactly the injective Grothendieck toposes, studied by Johnstone and Joyal. We characterize the totally distributive categories with a small set of generators as exactly the essential subtoposes of presheaf toposes, studied by Kelly-Lawvere and Kennett-Riehl-Roy-Zaks.

Review text

There are several conditions on partially ordered sets that can be expressed in categorical terms by requiring the existence of a string of adjunctions between the poset and some related poset, say of ideals or similar. This is the case, for instance, for continuous dcpos. These conditions extend in useful ways to small categories, relating to strings of adjunctions typically involving the Yoneda embedding. These results are recalled in the first section of this paper, and then are applied and extended to the study of totally distributive categories. A category, \(\mathcal{E}\), is \textit{totally distributive} if there is a string of adjunctions \(t\dashv c\dashv y\), where \(y\) is the Yoneda embedding. The category, \(\mathcal{E}\), is \textit{lex totally distributive} if in addition \(t\) preserves finite limits. In this paper, the author shows that lex totally distributive categories with a small set of generators correspond exactly to injective Grothendieck toposes, whilst removing the `lex' condition gives the essential subtoposes of presheaf toposes.

Recommendations

• Completely and totally distributive categories. I.
• Grothendieck enriched categories
• scientific article; zbMATH DE number 3953031
• The waves of a total category
• Localisations of locally presentable categories. II

Cites work

• An Adjoint Characterization of the Category of Sets
• Completely and totally distributive categories. I.
• Constructive complete distributivity. I
• Continuous categories and exponentiable toposes
• scientific article; zbMATH DE number 3666860 (Why is no real title available?)
• scientific article; zbMATH DE number 3736019 (Why is no real title available?)
• scientific article; zbMATH DE number 3747204 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 4123961 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Levels in the toposes of simplicial sets and cubical sets
• Notions of topos
• SHEAVES OF BANACH SPEACES
• Some remarks on total categories
• Yoneda structures on 2-categories

Cited in

(5)

• The waves of a total category
• Regularity vs. constructive complete (co)distributivity
• Uniform topology on distributive implication groupoids
• Completely distributive enriched categories are not always continuous
• Topological duality for distributive Ockham algebras

This page was built for publication: Totally distributive toposes

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