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.
I have added a remark to stable derivator about why the homotopy category of such acquires one triangulation and not the “negative” triangulation, a potentially confusing point (at least, to me).
This remark would probably fit better at stable (∞,1)-category, since the “negating one morphism” operation makes more sense there than in a derivator. But currently that page doesn’t actually describe the construction of the triangulation, which is necessary for the remark to make sense, whereas the page stable derivator does.
I have added a pointer to introductory notes by Yonatan Harpaz on stable $\infty$-categories. These are notes a kindly prepared for our group seminar last week.
Briefly added pointer to formalization of the enrichment over spectra by Gepner-Haugseng, but then my battery died (this here from my phone)
I have added some missing op’s to the section Stabilization and localization of presheaf $(\infty,1)$-categories, and updated the statement of Proposition 2 (it’s even a sufficient condition for stable + presentable).
for ease of reference, I have copied over the discussion of the Schwede-Shipley result also to stable infinity-category – Stabilization and localization
the entry has been referring to a reference
without giving a link. Probably this was
http://www.math.uni-bonn.de/people/schwede/EnhancedSeminar.pdf
which however is dead, and the WaybackMachine did not keep a copy. Does anyone have the file? Or its new location?
Stefan Schwede has kindly provided a new copy of the missing file, which I have now uploaded to the nLab: ncatlab.org/nlab/show/files/Schwede_EnhancedSeminar.pdf
(thanks to Bastiaan Cnossen, via AlgTop Discord, here)
1 to 9 of 9