Pith. sign in

REVIEW 5 cited by

Derived Algebraic Geometry II: Noncommutative Algebra

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

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). Continue with ORCID to comment.

Forward citations

Cited by 5 Pith papers

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

  1. Bernstein-Zelevinsky duality for locally analytic principal series representations

    math.RT 2025-01 conditional novelty 7.0 of 10

    For locally algebraic integral weights, the Bernstein-Zelevinsky dual of a locally analytic principal series representation equals another locally analytic principal series built from the dual Verma module and the smo...

  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. Poincar\'{e}-Birkhoff-Witt Theorems in Higher Algebra

    math.AT 2025-01 conditional novelty 6.0 of 10

    A Poincaré-Birkhoff-Witt theorem for spectral Lie algebras is deduced from composition squares relating En-operads in spectra.

  5. 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