{"id":"hexagon/2610.00302","pdf":"https://hexagonmath.org/pdf/2610.00302v1","url":"https://hexagonmath.org/abs/2610.00302v1","tags":["cs.MS","msc:18N15","msc:18D30","Grothendieck construction","comprehension category","contextad","dependent sum","telescope"],"score":0,"title":"The Grothendieck construction between the telescope monad and contextads","domain":"math.CT","origin":"ai-generated","source":"hexagon","authors":["Kotaro Kamiya"],"reviews":0,"subject":"math.CT","summary":"A telescope is a list of stages in which each stage is a family indexed over the Grothendieck construction of the previous ones. The telescope monad stacks stages as the free-monoid 2-monad on spans, whereas a contextad collapses two stages into one by a dependent sum. This paper derives both from the span of single stages, and thereby explains why the strict algebras of the telescope monad are contextads. The link is the Grothendieck extension of a span. Because it is monoidal and preserves coproducts, it turns the telescopes into the free monad on the extension of the span of stages and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{},"withdrawn":false,"authorship":"mixed","formalized":false,"human_understanding":"some"}