Exact completions and toposes

Abstract

Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the different ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding “good” quotients of… (More)

Topics

Cite this paper

@inproceedings{Menni2000ExactCA, title={Exact completions and toposes}, author={Mat́ıas Menni}, year={2000} }