@skd as far as i know: no. Ext Chart tolerates trigraded spectral sequences but is not especially good at visualizing them & not especially useful in general

aw, darn. (btw @EricPeterson do you know if i can somehow run ext chart on linux?)

you can't easily, it makes pretty serious use of the irreplicable front-end stuff that macos provides. a couple of people have successfully run it in an emulator, but that seems like a lot of effort for not enough reward

I just rralized that most spectral sequence I care about come from functorial filtrations (i.e. filtration on a category which induces a filtration on the object which gives the spectral sequence). This is of course already implicit in man calculations i have seen that exploit interactions between

... different spectral sequences. My question is :

Is the notion of spectral sequence of categories formalized anywhere?

The most naive situation i'd like to understand is the case where a category is equivalent to the limit over a tower of localizations (e.g. spaces being equivalent to the limit over all n-truncated spaces).

*n-truncated spaces for all n

**and better stick to Spectra instead of Spaces

I guess it's true that an infinity category is stable and presentable if and only if it is the underlying infinity category of some combinatorial, simplicial, stable model category? What's a reference for this?

heres one direction: arxiv.org/abs/math/0108143

@EricPeterson Do you have any idea when your book "Formal Geometry..." will be published?

@nikitas i'm currently waiting on a referee for Ch 4 to get back to me (which is happening at the usual snail's pace of math refereeing), then i'll have to work through their comments, then there's a copyediting pass (which i think will be fast), then i think it'll happen

so, idk. by the end of the summer? beats me

(i shouldn't be dismissive: in part the refereeing is going slowly because Ch 4 was a minefield of bad math—at least back in october.)