# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeFeb 27th 2014

am starting an entry smooth spectrum (in the sense of smooth infinity-groupoid). But nothing much there yet.

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeFeb 28th 2014

And are there parameterized smooth spectra forming the tangent category to $Smooth \infty Grpd$, as parameterized spectra do to $\infty Grpd$?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeFeb 28th 2014

Yes, that’s the story already discussed at tangent cohesion: the tangent topos of smooth $\infty$-groupoids is the “extension” of that by the smooth spectra. I just thought that eventually this should not be hidden in the general discussion at “tangent cohesion” but get its own entry here. I hope to be expanding that entry soon. Just need to get a bunch of other items out of the way right now…

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeApr 26th 2014
• (edited Apr 26th 2014)

added a Properties-section From chain complexes of smooth modules, so far containing the proposition asserting that presheaves of $\mathbf{R} \coloneqq C^\infty(-,\mathbb{R})$-modules are already $(\infty,1)$-sheaves of spectra (without further $\infty$-stackification).