Title of article
More exact completions that are toposes Original Research Article
Author/Authors
Mat??as Menni، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
17
From page
187
To page
203
Abstract
Assuming some extra structure (present in realizability and localic examples) we simplify the characterization of the categories with finite limits whose exact completions are toposes given in Menni (J. Pure Appl. Algebra, to appear). This simplification allows us to obtain new examples and non-examples and also to provide a new perspective and an alternative proof of recent results on the inevitability of untypedness for realizability toposes.
Keywords
Exact completions , Realizability , Topos theory
Journal title
Annals of Pure and Applied Logic
Serial Year
2002
Journal title
Annals of Pure and Applied Logic
Record number
889853
Link To Document