# Questions tagged [synthetic-differential]

Synthetic differential geometry is an axiomatic formulation of differential geometry in smooth toposes. The axioms ensure that a well-defined notion of infinitesimal spaces exists in the topos, whose existence concretely and usefully formalizes the wide-spread but often vague intuition about the role of infinitesimals in differential geometry.

**8**

**1**answer

### The (co)tangent sheaf of a topological space

**9**

**1**answer

### Differential algebraic geometry vs Diffiety theory

**9**

**1**answer

### Constructive analysis and synthetic differential geometry

**14**

**1**answer

### Query about SDG (Synthetic Differential Geometry)

**9**

**1**answer

### Relationship between synthetic differential geometry and differential cohesion?

**4**

**1**answer

### Semi-holonomic jets in synthetic differential geometry

**7**

**0**answers

### Is integration smooth?

**2**

**0**answers

### Characterization of formally étale morphisms between microlinear objects?

**18**

**1**answer

### What is meant by the inverse function theorem in algebraic geometry?

**3**

**1**answer

### Internal characterizations of lifting properties?

**4**

**0**answers

### When are descriptions of formal unramifiedness/smoothness via lifting properties equivalent to those via induced arrows to pullbacks?

**2**

**0**answers

### Local diffeomorphism (étale maps) in terms of infinitesimal tubular neighborhood?

**6**

**0**answers

### Competing notions of formal étaleness

**9**

**1**answer

### Étale morphisms in SDG

**13**

**1**answer

### Intuition for the Cartan connection and “rolling without slipping” in Cartan geometry

**4**

**0**answers

### Resources on a smooth topos containing complex analytic/holomorphic geometry

**4**

**1**answer

### Lie functor preserves “surjections” in synthetic differential geometry?

**6**

**1**answer

### Jets in synthetic differential geometry

**46**

**6**answers