Authors define and analyze a monoid of endofunctors on the stable homotopy category that includes chromatic localizations, develop an axiomatic framework usable in equivariant settings, and formalize combinatorial parts in Lean.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.AT 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Iterated chromatic localisation
Authors define and analyze a monoid of endofunctors on the stable homotopy category that includes chromatic localizations, develop an axiomatic framework usable in equivariant settings, and formalize combinatorial parts in Lean.