Pith. sign in

REVIEW 2 cited by

Left-exact Localizations of infty-Topoi III: The Acyclic Product

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2308.15573 v3 pith:GHTSZXHL submitted 2023-08-29 math.CT math.AT

Left-exact Localizations of infty-Topoi III: The Acyclic Product

classification math.CT math.AT
keywords left-exactlocalizationsproductacyclicposetcommutativeidealstopoi
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We define a commutative monoid structure on the poset of left-exact localizations of a higher topos, that we call the acyclic product. Our approach is anchored in a structural analogy between the poset of left-exact localizations of a topos and the poset of ideals of a commutative ring. The acyclic product is analogous to the product of ideals. The sequence of powers of a given left-exact localization defines a tower of localizations. We show how this recovers the towers of Goodwillie calculus in the unstable homotopical setting. We use this to describe the topoi of $n$-excisive functors as classifying $n$-nilpotent objects.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Left exact monoidal localizations from tidy maps

    math.AT 2026-06 unverdicted novelty 8.0

    Introduces tidy maps for left exact monoidal localizations and proves both Goodwillie and Weiss towers are generated by them and are completion towers in topoi.

  2. Smashing, Balmer, Zariski spectra: an ideal approach

    math.AT 2026-07 accept novelty 7.0

    A single frame-theoretic construction, the Zariski frame of radical categorical ideals, unifies Zariski spectra, Balmer spectra, and smashing frames in higher algebra.