Toposes from Forcing for Intuitionistic ZF with Atoms
Logic
2018-03-14 v2 Category Theory
Abstract
We introduce the forcing model of IZFA (Intuitionistic Zermelo-Fraenkel set theory with Atoms) for every Grothendieck topology and prove that the topos of sheaves on every site is equivalent to the category of 'sets in this forcing model'.
Keywords
Cite
@article{arxiv.1702.03399,
title = {Toposes from Forcing for Intuitionistic ZF with Atoms},
author = {Keita Yamamoto},
journal= {arXiv preprint arXiv:1702.03399},
year = {2018}
}