The generalized-smooth-spaces tag has no usage guidance.

**2**

votes

**0**answers

135 views

### (co)limits in the category of diffeological spaces vs. category of smooth manifolds

I am wondering which (co)limits that exist in the category of smooth manifolds are preserved by the inclusion into the category of diffeological spaces? Are there any results that allow us to ...

**1**

vote

**0**answers

77 views

### Relationship between tangent spaces and tangent categories for smooth topoi

Let $\mathscr E$ be a smooth topos, where I am using the terminology of nLab. In particular that imples the existence of a line object $R$ and an "infinitesimally thickened point", which is an object ...

**-1**

votes

**2**answers

400 views

### Are exotic spheres still exotic in generalised smooth spaces? [closed]

This is really more of a philosophical question, and the title is somewhat rhetorical:
Exotic spheres are a feature of smooth manifold theory, where certain spheres can have more than one ...

**1**

vote

**2**answers

202 views

### are immersions/submersions captured in generalised smooth spaces by some universal property?

Immersions & sumersions are important in differential manifolds. They rely on their definition of the construction of the tangent bundle.
I realise that generalised smooth spaces do not have a ...

**3**

votes

**0**answers

217 views

### Regular maps between Frechet manifolds and pullbacks

An oft-used example of a regular map of finite-dimensional smooth manifolds is a submersion. We have the well-known result that the pullback of a submersion exists and is a submersion. For Frechet ...

**3**

votes

**1**answer

198 views

### Can ordinary schemes be described as sheves of algebras/models for a certain Lawvere theory?

Consider the definition of a $\mathcal{C}^{\infty}$-scheme given in Dominique Joyce's "Algebraic geometry over C-infty rings". As far as I uderstand (not being an expert either in C-infty rings nor in ...

**15**

votes

**2**answers

849 views

### Nice application of generalized smooth spaces

I am a fan of category theory in general, and I appreciate that various brands of generalized smooth spaces (Diffeological spaces, Chen spaces, Frolicher spaces ...) form much nicer categories of ...