Handbook of categorical algebra. Volume 3: categories of sheaves. - Cambridge University Press, 1994. - ( Encyclopedia of Mathematics and its Appl. /CUP ; 52).