List questions from synthetic-differential-geometry | MathQA

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

Published on 23 Nov 2021 - 23:04

Locus of point with constant angle

Published on 09 Jan 2022 - 10:23

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

Published on 12 Jan 2022 - 19:26

Constant derivative in SDG

Published on 03 Mar 2022 - 12:21

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

Published on 13 Jun 2022 - 14:27

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

Published on 22 Jun 2022 - 2:42

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

Published on 22 Jun 2022 - 5:35

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

Published on 09 Jul 2022 - 22:42

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

Published on 18 Oct 2022 - 18:34

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

Published on 19 Oct 2022 - 10:38

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

Published on 24 Oct 2022 - 20:25

Smooth infinitesimal analysis and law of excluded middle

Published on 29 Nov 2022 - 6:59