{"id":"arxiv/2609.14671","url":"https://arxiv.org/abs/2609.14671","tags":["math.CT"],"score":0,"title":"Grothendieck Topologies Are Extensional Presentations of the Form of Sieves","domain":"math.CT","source":"arxiv","authors":["Roy Ferguson","Zurab Janelidze"],"reviews":0,"subject":"math.CT","summary":"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 constructions in a single short exact sequence. For this purpose we introduce distributivity forms: indexed meet-semilattices equipped with distinguished indexed joins over which finite indexed meets distribute, and a strong version in which these joins also satisfy Beck--Chevalley. Over a fixed base, the resulting categories have all small limits and have kernels and cokernels relative to the closed ideal of fibrewise…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-13","reactions":{}}