Grothendieck Topologies Are Extensional Presentations of the Form of Sieves

Roy Ferguson, Zurab Janelidze

A Grothendieck topology on a category determines both a subform of covering sieves and a quotient form obtained by identifying locally equivalent sieves. We place these two constru…