# Tagged Questions

**15**

votes

**0**answers

162 views

### Finite limits in the category of smooth manifolds?

The category of smooth manifolds does not have all finite limits. However, it does have some limits: it has finite products, it has splittings of idempotents, and it has certain other limits if we ...

**4**

votes

**1**answer

174 views

### Exercises around Diffeological Spaces or a Diffeologic Atlas Theory

Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...

**6**

votes

**1**answer

266 views

### Can the monoidal structure on manifolds be strictified?

I'm asking this question purely out of curiosity.
Let $\{M_\alpha\}_{\alpha\in A}$ be a collection of closed smooth manifolds, with exactly one in every diffeomorphism class of closed smooth ...

**10**

votes

**1**answer

379 views

### Pullbacks as manifolds versus ones as topological spaces

My question is: Does the forgetful functor F:(Mfd) $\to$ (Top) preserve pullbacks?
Detailed explanation is following.
A pullback is defined as a manifold/topological space satisfying a universal ...

**1**

vote

**2**answers

176 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 ...

**7**

votes

**1**answer

391 views

### Exponentiable objects in a category, valued in a larger, containing category

Recall that when dealing with topological spaces one usually likes dealing with a subcategory of $Top$ which is convenient, one facet of which is that it is cartesian closed. However to get to a ...

**11**

votes

**1**answer

478 views

### What are the smooth manifolds in the topos of sheaves on a smooth manifold?

The category of internal locales in the Grothendieck topos of sheaves on a locale X
is equivalent to the slice category over X.
In other words, internal locales over X are precisely morphisms of ...

**14**

votes

**0**answers

569 views

### Is the category of smooth manifolds equivalent to the opposite category of the category of commutative monoids of some additive symmetric monoidal category?

This is a followup to my previous question, which asked whether
the category of commutative or noncommutative C*-algebras or von Neumann algebras
is equivalent to the category of commutative or ...

**13**

votes

**2**answers

752 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 ...

**9**

votes

**2**answers

572 views

### Colimits of manifolds

This question tells us that in general colimits do not exist in the category of manifolds.
However, this negative answer is not very satisfying. A manifold can be considered as a colimit of its ...

**8**

votes

**2**answers

958 views

### What is the infinite-dimensional-manifold structure on the space of smooth paths mod thin homotopy?

This question is motivated by the recent paper An invitation to higher gauge theory by Baez and Huerta, and the 2007 paper Parallel Transport and Functors by Schreiber and Waldorf.
Let $M$ be a ...

**27**

votes

**3**answers

1k views

### What is the classifying space of “G-bundles with connections”

Let $G$ be a (maybe Lie) group, and $M$ a space (perhaps a manifold). Then a principal $G$-bundle over $M$ is a bundle $P \to M$ on which $G$ acts (by fiber-preserving maps), so that each fiber is a ...