Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
am starting an entry smooth spectrum (in the sense of smooth infinity-groupoid). But nothing much there yet.
And are there parameterized smooth spectra forming the tangent category to , as parameterized spectra do to ?
Yes, that’s the story already discussed at tangent cohesion: the tangent topos of smooth -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…
added a Properties-section From chain complexes of smooth modules, so far containing the proposition asserting that presheaves of -modules are already -sheaves of spectra (without further -stackification).
1 to 4 of 4