{"id":"arxiv/2601.15862","url":"https://arxiv.org/abs/2601.15862","tags":["math.DG","math-ph","math.CT"],"score":0,"title":"Synthetic Differential Jet Bundles are Reduced","domain":"math.DG","source":"arxiv","authors":["Grigorios Giotopoulos","Igor Khavkine","Hisham Sati","Urs Schreiber"],"reviews":0,"subject":"math.DG","summary":"We have previously observed that the theory of solutions of partial differential equations, regarded as diffieties inside jet bundles, acquires a powerful comonadic formulation after passage from the category of Fréchet smooth manifolds to the Cahiers topos of formal smooth sets (a well-adapted model for Synthetic Differential Geometry). However, the tacit assumption that this passage preserves the projective limits that define infinite jet bundles had remained unproven. Here we provide a detailed proof.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-22","reactions":{}}