More exact completions that are toposes
From MaRDI portal
Publication:1602851
DOI10.1016/S0168-0072(01)00111-7zbMath0994.18002WikidataQ112120960 ScholiaQ112120960MaRDI QIDQ1602851
Publication date: 24 June 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
18B25: Topoi
18A35: Categories admitting limits (complete categories), functors preserving limits, completions
03D99: Computability and recursion theory
Related Items
Regular functors and relative realisability categories, Characterizing partitioned assemblies and realizability toposes, A characterization of the left exact categories whose exact completions are toposes
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cocomplete toposes whose exact completions are toposes
- Extensional realizability
- Locally cartesian closed exact completions
- A characterization of the left exact categories whose exact completions are toposes
- Some free constructions in realizability and proof theory
- Impredicativity entails untypedness
- On a Topological Topos
- Realizability: a historical essay