{"id":"arxiv/2607.10242","url":"https://arxiv.org/abs/2607.10242","tags":["math.CT"],"score":0,"title":"Locally subcartesian closed categories","domain":"math.CT","source":"arxiv","authors":["Charles Walker"],"reviews":0,"subject":"math.CT","summary":"We introduce locally subcartesian closed categories: categories with pullbacks equipped with a coherent choice of subobjects of pullbacks, such that the resulting affine base-change functors have right adjoints. We develop the basic theory, emphasizing the analogy with locally cartesian closed categories, and justify the terminology by showing that every slice category is monoidal closed with jointly monic projections. We also extend the theory of polynomials, showing that such a category gives rise to a bicategory of polynomials in the sense of Street, biequivalent to a 2-category of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-11","reactions":{}}