Generating families in a topos. Kenney, Toby (2006) Theory and Applications of Categories [electronic only]
Geometric and higher order logic in terms of abstract Stone duality. Taylor, Paul (2000) Theory and Applications of Categories [electronic only]