List questions from synthetic-differential-geometry

Published on 23 Feb 2026 - 4:38

64

Views

Invertible elements in the number line $R$

Published on 23 Feb 2026 - 4:37

179

Views

Lie groups in synthetic differential geometry

Published on 23 Feb 2026 - 4:36

91

Views

$x^2+y^2=0$ implies $x^2$ for every $x,y\in R$ is false

Published on 23 Feb 2026 - 4:39

450

Views

What would synthetic linear algebra look like?

Published on 23 Feb 2026 - 4:38

173

Views

$\epsilon \otimes 1 + 1 \otimes \epsilon$ is a nilcube in $\mathbb R[\epsilon] \otimes \mathbb R[\epsilon]$. What does that mean intuitively?

Published on 23 Feb 2026 - 4:41

207

Views

Smooth real line and Dedekind cuts

Published on 23 Feb 2026 - 4:38

526

Views

Some questions about synthetic differential geometry

Published on 23 Feb 2026 - 4:37

127

Views

Calculi for the category theory?

Published on 23 Feb 2026 - 4:37

336

Views

Visualizing the Nilsquare Infinitesimals $D$ of Synthetic Differential Geometry (SDG)

Published on 23 Feb 2026 - 4:40

114

Views

Subobject classifiers in categories of smooth spaces

Published on 23 Feb 2026 - 4:38

122

Views

Are maps $\operatorname{Spec}k[x]\times \operatorname{Spec}k[x]\to \operatorname{Spec}k[x]$ somehow bivariate polynomials?

Published on 23 Feb 2026 - 4:42

66

Views

Monotonicity of $\neg\neg$

Published on 23 Feb 2026 - 4:39

2.9k

Views

Basic Geometric intuition, context is undergraduate mathematics

Published on 23 Feb 2026 - 4:36

148

Views

Existence of Spec functor

Published on 23 Feb 2026 - 4:37

List Question

How is Category Theory used to study differential equations?

Invertible elements in the number line $R$

Lie groups in synthetic differential geometry

$x^2+y^2=0$ implies $x^2$ for every $x,y\in R$ is false

What would synthetic linear algebra look like?

$\epsilon \otimes 1 + 1 \otimes \epsilon$ is a nilcube in $\mathbb R[\epsilon] \otimes \mathbb R[\epsilon]$. What does that mean intuitively?

Smooth real line and Dedekind cuts

Some questions about synthetic differential geometry

Calculi for the category theory?

Visualizing the Nilsquare Infinitesimals $D$ of Synthetic Differential Geometry (SDG)

Subobject classifiers in categories of smooth spaces

Are maps $\operatorname{Spec}k[x]\times \operatorname{Spec}k[x]\to \operatorname{Spec}k[x]$ somehow bivariate polynomials?

Monotonicity of $\neg\neg$

Basic Geometric intuition, context is undergraduate mathematics

Existence of Spec functor

Trending Questions

Popular # Hahtags

Popular Questions