Ultrasheaves and Double Negation
Awodey, Steve ; Eliasson, Jonas
Notre Dame J. Formal Logic, Tome 45 (2004) no. 1, p. 235-245 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters—the ultrasheaves. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on filters.
Publié le : 2004-10-14
Classification:  ultrapower,  Moerdijk's Topos,  double negation subtopos,  sheaf theory,  03G30 
@article{1099238447,
     author = {Awodey, Steve and Eliasson, Jonas},
     title = {Ultrasheaves and Double Negation},
     journal = {Notre Dame J. Formal Logic},
     volume = {45},
     number = {1},
     year = {2004},
     pages = { 235-245},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1099238447}
}

Awodey, Steve; Eliasson, Jonas. Ultrasheaves and Double Negation. Notre Dame J. Formal Logic, Tome 45 (2004) no. 1, pp.  235-245. http://gdmltest.u-ga.fr/item/1099238447/