More exact completions that are toposes (Q1602851): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Matias Menni / rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter T. Johnstone / rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q112120960 / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Matias Menni / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4936141 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4304740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some free constructions in realizability and proof theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally cartesian closed exact completions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4783307 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a Topological Topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3792857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Impredicativity entails untypedness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A characterization of the left exact categories whose exact completions are toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cocomplete toposes whose exact completions are toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extensional realizability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realizability: a historical essay / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:10, 4 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More exact completions that are toposes |
scientific article |
Statements
More exact completions that are toposes (English)
0 references
24 June 2002
0 references
It has been known for some time that the realizability topos constructed from a partial combinatory algebra is equivalent to the exact completion of its full subcategory of `partitioned assemblies' (i.e., it is the free (Barr-)exact category generated by the latter as a finitely complete category). In a previous paper (J.\ Pure Appl.\ Algebra, to appear), the author obtained conditions on a finitely complete category which are equivalent to its exact completion being a topos. The present paper presents a variant of these conditions in which the original category is assumed to have a full mono-localizing subcategory of `chaotic objects' which is a topos, as is the case for the category of partitioned assemblies. Under this assumption, the conditions can be simplified, which enables the author to give some interesting examples of categories whose exact completions are, or are not, toposes.
0 references
realizability topos
0 references
combinatory algebra
0 references
exact completion
0 references