Generating families in a topos. Kenney, Toby — 2006 Theory and Applications of Categories [electronic only]
Copower objects and their applications to finiteness in topoi. Kenney, Toby — 2006 Theory and Applications of Categories [electronic only]