pith. sign in

arxiv: 1907.02904 · v1 · pith:DCIVPEZDnew · submitted 2019-07-05 · 🧮 math.AT · math.CT

An Introduction to Higher Categorical Algebra

David Gepner This is my paper

Pith reviewed 2026-05-25 01:33 UTC · model grok-4.3

classification 🧮 math.AT math.CT
keywords higher algebrainfinity-categoriesspectraring spectramodulescotangent complexdeformation theorysymmetric monoidal categories
0
0 comments X

The pith

Higher categorical algebra extends rings and modules to spectra using symmetric monoidal stable infinity-categories.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This survey presents the basic constructions of algebra inside infinity-categories, beginning with symmetric monoidal stable infinity-categories such as the derived infinity-category of a commutative ring. It then focuses on the infinity-category of spectra, defines ring spectra and their module categories, and treats operations including localization, completion, and dualizability. The account ends with the cotangent complex and its use in deformation theory. A sympathetic reader cares because these tools let algebraic constructions proceed in a setting where equalities are replaced by coherent homotopies, unifying classical algebra with stable homotopy theory.

Core claim

The paper organizes the theory so that the infinity-category of spectra becomes the universal stable symmetric monoidal infinity-category, ring spectra are defined as ring objects therein, and their modules form new symmetric monoidal stable infinity-categories; localization and completion are performed by universal properties, dualizability identifies compact objects, and the cotangent complex is extracted as the derived functor that controls first-order deformations of these ring objects.

What carries the argument

Symmetric monoidal stable infinity-categories, which supply the ambient setting in which ring objects and their modules can be defined while automatically incorporating all higher homotopies.

If this is right

  • Ring spectra can be formed as commutative or associative algebras in the infinity-category of spectra.
  • The infinity-category of modules over any ring spectrum inherits a symmetric monoidal structure.
  • Localization and completion of ring spectra and modules are realized by universal properties inside the stable infinity-category.
  • Dualizable modules correspond to the compact or perfect objects that behave like finite-dimensional vector spaces.
  • The cotangent complex of a ring spectrum governs infinitesimal deformations and obstructions in the infinity-categorical sense.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same language supplies a setting in which classical commutative algebra can be replaced by its derived and homotopy-coherent versions without separate ad-hoc constructions.
  • Readers working in algebraic K-theory or chromatic homotopy theory can treat the module categories described here as the natural home for their invariants.
  • The brief treatment of deformation theory points toward a direct route from spectra to the deformation problems studied in derived algebraic geometry.

Load-bearing premise

The reader already knows enough ordinary category theory and homotopy theory to follow the infinity-categorical language without further foundational explanations.

What would settle it

A mismatch between the survey's description of the cotangent complex of a ring spectrum and the corresponding construction in Lurie's Higher Algebra would show the account is inaccurate.

read the original abstract

This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable $\infty$-categories, such as the derived $\infty$-category of a commutative ring, before turning to our main example, the $\infty$-category of spectra. We then go on to consider ring spectra and their $\infty$-categories of modules, as well as basic constructions such as localization, completion, and dualizability. We conclude with a brief account of the cotangent complex and deformation theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript is an expository survey of algebra in the ∞-categorical context, drawing primarily from Lurie's Higher Algebra. It introduces symmetric monoidal stable ∞-categories (with the derived ∞-category of a commutative ring as an example), the ∞-category of spectra as the main case, ring spectra and their module ∞-categories, and constructions including localization, completion, and dualizability, before concluding with the cotangent complex and deformation theory. The text is positioned as a chapter in the Handbook of Homotopy Theory and makes no original claims or derivations.

Significance. If the exposition is faithful to the cited sources, the survey supplies a structured introduction to core topics in higher algebra that are otherwise dispersed across Lurie's multi-volume work. This has value for the field by lowering the barrier for readers already familiar with ordinary category theory and homotopy theory to engage with ∞-categorical methods, particularly in stable homotopy theory and deformation theory.

minor comments (2)
  1. The introduction states that the survey assumes background in ordinary category theory and homotopy theory; a brief sentence clarifying the precise prerequisites (e.g., familiarity with model categories or simplicial sets) would help readers gauge readiness.
  2. Notation for ∞-categories and symmetric monoidal structures is introduced without an early consolidated table or glossary; adding one would improve navigation for a handbook chapter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and their recommendation to accept it for the Handbook of Homotopy Theory.

Circularity Check

0 steps flagged

No significant circularity; expository survey with no derivations

full rationale

The paper is a survey of material from Lurie's Higher Algebra, with no original theorems, derivations, equations, or quantitative claims. All content references external sources for foundational constructions such as symmetric monoidal stable ∞-categories, spectra, and the cotangent complex. No load-bearing steps exist that could reduce to self-definitions, fitted inputs, or self-citation chains, as the text makes no predictions or first-principles results of its own.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the ∞-categorical framework and specific constructions (stable ∞-categories, spectra as symmetric monoidal) developed in Lurie's Higher Algebra; no new free parameters, axioms, or invented entities are introduced by this survey itself.

axioms (1)
  • domain assumption The ∞-category of spectra forms a symmetric monoidal stable ∞-category
    Invoked as the main example without re-derivation in the survey.

pith-pipeline@v0.9.0 · 5615 in / 1118 out tokens · 19398 ms · 2026-05-25T01:33:44.570060+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 1 internal anchor

  1. [1]

    Lecture Notes in Mathematics, Vol

    Revêtements étales et groupe fondamental . Lecture Notes in Mathematics, Vol

    work page

  2. [2]

    Séminaire de Géométrie Algébrique du Bois Marie 1960–1961 (SGA 1), Dirigé par Alexandre Grothe ndieck

    Springer-Verlag, Berlin-New York, 1971. Séminaire de Géométrie Algébrique du Bois Marie 1960–1961 (SGA 1), Dirigé par Alexandre Grothe ndieck. Augmenté de deux exposés de M. Raynaud. 10

    work page 1971

  3. [3]

    Lecture Notes in Mathematics, Vol

    Théorie des intersections et théorème de Riemann-Roch . Lecture Notes in Mathematics, Vol. 225. Springer-Verlag, Berlin-New York, 1971. Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6), Diri gé par P. Berth- elot, A. Grothendieck et L. Illusie. A vec la collaboration d e D. Ferrand, J. P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud et J...

    work page 1971

  4. [4]

    J. F. Adams. Stable homotopy and generalised homology . University of Chicago Press, Chicago, Ill.-London, 1974. Chicago Lectures in Mat hematics. 27

    work page 1974

  5. [5]

    Blumberg, David Gepner, Michael J

    Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, and Charles Rezk. An ∞-categorical approach to R-line bundles, R-module Thom spectra, and twisted R-homology. J. Topol., 7(3):869–893, 2014. 45

    work page 2014

  6. [6]

    Homologie des algèbres commutatives

    Michel André. Homologie des algèbres commutatives. Springer-Verlag, Berlin-New York, 1974. Die Grundlehren der mathematischen Wissenscha ften, Band 206. 52

    work page 1974

  7. [7]

    Uniqueness of Morava K-theory

    Vigleik Angeltveit. Uniqueness of Morava K-theory. Compos. Math., 147(2):633– 648, 2011. 49

    work page 2011

  8. [8]

    Brauer groups and éta le cohomology in derived algebraic geometry

    Benjamin Antieau and David Gepner. Brauer groups and éta le cohomology in derived algebraic geometry. Geom. Topol., 18(2):1149–1244, 2014. 42, 48

    work page 2014

  9. [9]

    A note on stable recollements

    Clark Barwick and Saul Glasman. A note on stable recollem onts. A vailable at https://arxiv.org/abs/1607.02064. 50

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    Basterra

    M. Basterra. André-Quillen cohomology of commutative S-algebras. J. Pure Appl. Algebra, 144(2):111–143, 1999. 52

    work page 1999

  11. [11]

    Maria Basterra and Michael A. Mandell. Homology and coh omology of E∞ ring spectra. Math. Z. , 249(4):903–944, 2005. 52

    work page 2005

  12. [12]

    Beilinson, Joseph Bernstein, and Pierre D eligne

    Aleksandr A. Beilinson, Joseph Bernstein, and Pierre D eligne. Faisceaux pervers. In Analysis and topology on singular spaces, I (Luminy, 1981) , volume 100 of Astérisque, pages 5–171. Soc. Math. France, Paris, 1982. 21

    work page 1981

  13. [13]

    J. M. Boardman and R. M. Vogt. Homotopy invariant algebraic structures on topo- logical spaces. Lecture Notes in Mathematics, Vol. 347. Springer-Verlag, Berlin- New York, 1973. 4

    work page 1973

  14. [14]

    Brown, Jr

    Edgar H. Brown, Jr. Cohomology theories. Ann. of Math. (2) , 75:467–484, 1962. 25

    work page 1962

  15. [15]

    Devinatz, Michael J

    Ethan S. Devinatz, Michael J. Hopkins, and Jeffrey H. Smi th. Nilpotence and stable homotopy theory. I. Ann. of Math. (2) , 128(2):207–241, 1988. 49

    work page 1988

  16. [16]

    Tensor product of operads and iterated loo p spaces

    Gerald Dunn. Tensor product of operads and iterated loo p spaces. J. Pure Appl. Algebra, 50(3):237–258, 1988. 4 REFERENCES 68

    work page 1988

  17. [17]

    Foundations of algebraic topology

    Samuel Eilenberg and Norman Steenrod. Foundations of algebraic topology . Princeton University Press, Princeton, New Jersey, 1952. 24

    work page 1952

  18. [18]

    A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May. Rings, modules, and algebras in stable homotopy theory , volume 47 of Mathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 1997. Wit h an appendix by M. Cole. 27

    work page 1997

  19. [19]

    Unive rsality of multiplicative infinite loop space machines

    David Gepner, Moritz Groth, and Thomas Nikolaus. Unive rsality of multiplicative infinite loop space machines. Algebr. Geom. Topol. , 15(6):3107–3153, 2015. 31

    work page 2015

  20. [20]

    Palmieri, and Neil P

    Mark Hovey, John H. Palmieri, and Neil P. Strickland. Ax iomatic stable homotopy theory. Mem. Amer. Math. Soc. , 128(610):x+114, 1997. 47

    work page 1997

  21. [21]

    Symmetric sp ectra

    Mark Hovey, Brooke Shipley, and Jeff Smith. Symmetric sp ectra. J. Amer. Math. Soc., 13(1):149–208, 2000. 27

    work page 2000

  22. [22]

    Complexe cotangent et déformations

    Luc Illusie. Complexe cotangent et déformations. I . Lecture Notes in Mathematics, Vol. 239. Springer-Verlag, Berlin-New York, 1971. 52

    work page 1971

  23. [23]

    Complexe cotangent et déformations

    Luc Illusie. Complexe cotangent et déformations. II . Lecture Notes in Mathemat- ics, Vol. 283. Springer-Verlag, Berlin-New York, 1972. 52

    work page 1972

  24. [24]

    A. Joyal. Quasi-categories and Kan complexes. J. Pure Appl. Algebra , 175(1- 3):207–222, 2002. Special volume celebrating the 70th birt hday of Professor Max Kelly. 5

    work page 2002

  25. [25]

    Higher topos theory , volume 170 of Annals of Mathematics Studies

    Jacob Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2009. 5, 8, 9, 10, 11, 14, 15, 16, 25, 28, 39, 48

    work page 2009

  26. [26]

    Higher Algebra

    Jacob Lurie. Higher Algebra . A vailable at http://www.math.harvard.edu/~lurie/papers/HA.pdf, version dated 18 September 2017. 6, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 28, 29, 31, 32, 33, 34, 35, 37, 38, 40, 41, 43, 44, 48, 54, 57, 59, 60, 61, 63

    work page 2017

  27. [27]

    Elliptic Cohomology I: Spectral Abelian Varieties

    Jacob Lurie. Elliptic Cohomology I: Spectral Abelian Varieties . A vailable at http://www.math.harvard.edu/~lurie/papers/Elliptic-I.pdf, version dated 3 February 2018. 45

    work page 2018

  28. [28]

    Spectral algebraic geometry

    Jacob Lurie. Spectral algebraic geometry . A vailable at http://www.math.harvard.edu/~lurie/papers/SAG-rootfile.pdf, version dated 3 February 2018. 44, 50, 51, 63

    work page 2018

  29. [29]

    J. P. May. The geometry of iterated loop spaces . Springer-Verlag, Berlin-New York, 1972. Lectures Notes in Mathematics, Vol. 271. 4

    work page 1972

  30. [30]

    Peter May

    J. Peter May. E∞ ring spaces and E∞ ring spectra. Lecture Notes in Mathematics, Vol. 577. Springer-Verlag, Berlin-New York, 1977. With con tributions by Frank Quinn, Nigel Ray, and Jørgen Tornehave. 45

    work page 1977

  31. [31]

    The Grothendieck duality theorem via Bou sfield’s techniques and Brown representability

    Amnon Neeman. The Grothendieck duality theorem via Bou sfield’s techniques and Brown representability. J. Amer. Math. Soc. , 9(1):205–236, 1996. 25 REFERENCES 69

    work page 1996

  32. [32]

    The nilpotency of elements of the stable h omotopy groups of spheres

    Goro Nishida. The nilpotency of elements of the stable h omotopy groups of spheres. J. Math. Soc. Japan , 25:707–732, 1973. 49

    work page 1973

  33. [33]

    On the (co-) homology of commutative ri ngs

    Daniel Quillen. On the (co-) homology of commutative ri ngs. In Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVII , New York, 1968) , pages 65–87. Amer. Math. Soc., Providence, R.I., 1970. 52

    work page 1968

  34. [34]

    Daniel G. Quillen. Homotopical algebra. Lecture Notes in Mathematics, No. 43. Springer-Verlag, Berlin-New York, 1967. 52

    work page 1967

  35. [35]

    Algebraic versus topological triangu lated categories

    Stefan Schwede. Algebraic versus topological triangu lated categories. In Trian- gulated categories , volume 375 of London Math. Soc. Lecture Note Ser. , pages 389–407. Cambridge Univ. Press, Cambridge, 2010. 49

    work page 2010

  36. [36]

    Stable model catego ries are categories of modules

    Stefan Schwede and Brooke Shipley. Stable model catego ries are categories of modules. Topology, 42(1):103–153, 2003. 38

    work page 2003

  37. [37]

    Categories and cohomology theories

    Graeme Segal. Categories and cohomology theories. Topology, 13:293–312, 1974. 4

    work page 1974

  38. [38]

    The stacks project

    The Stacks project authors. The stacks project. https://stacks.math.columbia.edu, 2018. 61

    work page 2018

  39. [39]

    Quelques propriétés globales des variétés d ifférentiables

    René Thom. Quelques propriétés globales des variétés d ifférentiables. Comment. Math. Helv. , 28:17–86, 1954. 45

    work page 1954

  40. [40]

    Homotopical algeb raic geometry

    Bertrand Toën and Gabriele Vezzosi. Homotopical algeb raic geometry. II. Geo- metric stacks and applications. Mem. Amer. Math. Soc. , 193(902):x+224, 2008. 63

    work page 2008

  41. [41]

    Charles A. Weibel. An introduction to homological algebra , volume 38 of Cam- bridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge,

    work page

  42. [42]

    6 David Gepner School of Mathematics and Statistics The University of Melbourne Parkville VIC 3010 Australia david.gepner@unimelb.edu.au

    work page