Steven Awodey, Nicola Gambino, P. L. Lumsdaine, Michael A. Warren. Lawvere - Tierney sheaves in Algebraic Set Theory. Journal of Symbolic Logic, 74(3):861-890, 2009. [doi]
@article{AwodeyGLW09,
title = {Lawvere - Tierney sheaves in Algebraic Set Theory},
author = {Steven Awodey and Nicola Gambino and P. L. Lumsdaine and Michael A. Warren},
year = {2009},
url = {http://projecteuclid.org/euclid.jsl/1245158088},
researchr = {https://researchr.org/publication/AwodeyGLW09},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {74},
number = {3},
pages = {861-890},
}