Every Grothendieck topos has a one-way site. McLarty, Colin — 2006 Theory and Applications of Categories [electronic only]