More exact completions that are toposes

DOI10.1016/S0168-0072(01)00111-7zbMath0994.18002WikidataQ112120960 ScholiaQ112120960MaRDI QIDQ1602851

Matias Menni

Publication date: 24 June 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

exact completionrealizability toposcombinatory algebra

Mathematics Subject Classification ID

Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Computability and recursion theory (03D99)

Related Items

Characterizing partitioned assemblies and realizability toposes ⋮ Regular functors and relative realisability categories ⋮ A characterization of the left exact categories whose exact completions are toposes

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: More exact completions that are toposes