Exact completions and toposes


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)


Cite this paper

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