Pith. sign in

REVIEW 4 cited by

Derived Algebraic Geometry II: Noncommutative Algebra

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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 math/0702299 v5 pith:M6U56AQV submitted 2007-02-11 math.CT math.AT

Jacob Lurie This is my paper
classification math.CTmath.AT
keywords theorymonoidalspectracategorydevelopinfinityinfinity-categoricalprove
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits in each variable), and thereby recover the classical smash-product operation on spectra. We develop a general theory of algebras in a monoidal infinity category, which we use to (re)prove some basic results in the theory of associative ring spectra. We also develop an infinity-categorical theory of monads, and prove a version of the Barr-Beck theorem.

Discussion (0). Sign in to comment.

Forward citations

Cited by 4 Pith papers

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

  1. Distributivity, affineness, and the structure sheaf

    math.AG 2026-04 unverdicted novelty 7.0 of 10

    For qcqs schemes, the structure sheaf generates perfect complexes iff the thick subcategory lattice is distributive iff the affinization map is 0-affine.

  2. Birational Algebraic Topology

    math.AG 2026-06 unverdicted novelty 6.0 of 10

    Birational localization of motivic spaces over perfect fields is equivalent to S^{2,1}-nullification, making π0^{b A^1} a birational invariant for proper schemes.

  3. Derived skein module

    math.QA 2026-06 unverdicted novelty 6.0 of 10

    Proposes axiomatic framework for derived skein modules of 3-manifolds that recovers ordinary skein modules in degree zero, with computable formulas, Hochschild formula for Sigma x S^1, first computations, and finitene...

  4. Modeling Rozansky-Witten Theory with Sheaves of Categories

    math.AG 2026-06 unverdicted novelty 5.0 of 10

    Models Rozansky-Witten theory of T*X via sheaves of categories from Perf(X×A¹), constructing hybrid Lagrangian objects whose Homs are matrix factorizations.

Pith tools