List questions from synthetic-differential-geometry | MathQA

Prove that Weil Algebras (in synthetic differential geometry) are Finitely Presented

Published on 23 Feb 2026 - 11:49

Locus of point with constant angle

Published on 23 Mar 2026 - 17:30

Order relation on the geometric line as defined in Kock's synthetic differential geometry

Published on 24 Mar 2026 - 4:46

Constant derivative in SDG

Published on 23 Mar 2026 - 22:03

Injectivity, surjectivity, and localization of $C^\infty$-rings

Published on 23 Mar 2026 - 20:14

Is the "sheaf of diffeologically-smooth real-valued functions" functor faithful?

Published on 23 Mar 2026 - 18:19

Does the "sheaf of diffeologically-smooth real-valued functions" functor reflect isomorphisms?

Published on 23 Feb 2026 - 11:48

Does integration give a morphism out of the diffeological space of smooth maps?

Published on 23 Mar 2026 - 23:12

Must every $\mathbb Z$-shaped point of an arithmetic scheme be contained in an affine open subscheme?

Published on 24 Mar 2026 - 11:36

Why is the diagonal of the infinitesimal square contained in $D(2)$?

Published on 24 Mar 2026 - 6:39

How many smooth vector space structures does $\mathbb R^n$ have?

Published on 23 Mar 2026 - 22:53

Smooth infinitesimal analysis and law of excluded middle

Published on 24 Mar 2026 - 16:01