Totally distributive toposes (Q1936112): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: SHEAVES OF BANACH SPEACES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive complete distributivity. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3933035 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3922824 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4783274 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuous categories and exponentiable toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4204315 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Levels in the toposes of simplicial sets and cubical sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3864573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completely and totally distributive categories. I. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Adjoint Characterization of the Category of Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5649639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notions of topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Yoneda structures on 2-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on total categories / rank | |||
Normal rank |
Latest revision as of 05:45, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Totally distributive toposes |
scientific article |
Statements
Totally distributive toposes (English)
0 references
21 February 2013
0 references
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.
0 references
partially ordered sets
0 references
string of adjunctions
0 references
Yoneda embedding
0 references
totally distributive categories
0 references
totally distributive
0 references
injective Grothendieck toposes
0 references
presheaf toposes
0 references