Pith. sign in

REVIEW 2 minor 27 references

The span-squares adjunction

T0 review · 0 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The span construction, as a functor from double ∞-categories to ∞-categories, admits a right adjoint given by squares.

desk verdict The paper builds a span-squares adjunction on double ∞-categories and uses it for new proofs of known K-theory model equivalences. read the letter →

arxiv 2606.10052 v1 pith:XVZ4HD6C submitted 2026-06-08 math.CT math.KT

George Raptis , Wolfgang Steimle This is my paper · ORCID
classification math.CTmath.KT
keywords spanconstructiondouble∞-categoriesalgebraicK-theoryadjunctionsquaresQ-constructionS-constructioncobordismmodel
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that the span construction can be viewed as a functor from double ∞-categories to ∞-categories and that this functor has a right adjoint defined by double ∞-categories of squares. This adjunction gives a universal property for the span ∞-category by describing functors out of it in terms of square data. As a direct consequence the adjunction supplies new proofs that the Q-construction, S-construction, cobordism model, and squares construction all yield equivalent versions of algebraic K-theory. A reader would care because the single adjunction replaces separate verifications of equivalence between each pair of models.

What carries the argument

The span-squares adjunction, relating the span functor on double ∞-categories to the right adjoint given by double ∞-categories of squares.

What would settle it

An explicit functor out of the span ∞-category that cannot be obtained from any double ∞-category of squares would show the right adjoint does not exist.

Watch

Extended reading notes

Core claim

We view the span construction as a functor from double ∞-categories to ∞-categories and show that this functor admits a right adjoint defined by the double ∞-categories of squares. The resulting adjunction yields a universal property of the span ∞-category that describes its functors. Using the adjunction we obtain new proofs of the equivalences between the Q-, the S-, the cobordism model, and the squares construction of algebraic K-theory.

Load-bearing premise

The span construction can be realized as a functor from double ∞-categories to ∞-categories that admits a right adjoint.

Editorial extensions

If this is right

  • Functors defined on the span ∞-category correspond to maps into double ∞-categories of squares.
  • The Q-construction of algebraic K-theory is equivalent to the S-construction via the adjunction.
  • The cobordism model of algebraic K-theory is equivalent to the squares construction via the adjunction.
  • Equivalences among all four listed models of algebraic K-theory follow from a single adjunction rather than pairwise comparisons.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same adjunction pattern may apply to other universal constructions that arise from double categories.
  • One could test whether analogous right adjoints exist when the base is replaced by other variants of ∞-categories.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes a universal property for the span ∞-category by realizing the span construction as a functor from double ∞-categories to ∞-categories that admits a right adjoint, with the right adjoint given by the double ∞-categories of squares. This adjunction is then applied to derive new proofs of the known equivalences among the Q-construction, S-construction, cobordism model, and squares construction of algebraic K-theory.

Significance. If the central adjunction holds, the result supplies a clean universal-property description of functors out of the span ∞-category and furnishes alternative, non-circular derivations of the equivalences between several standard models of algebraic K-theory. Such an adjunction is a natural and potentially reusable tool in the ∞-categorical literature on K-theory.

minor comments (2)
  1. The abstract states the main theorem but does not indicate where in the text the functoriality of the span construction (double ∞-Cat → ∞-Cat) is verified or where the unit and counit of the adjunction are constructed; adding explicit section references would improve readability.
  2. Notation for double ∞-categories and the squares construction should be introduced with a short preliminary subsection, as readers may encounter varying conventions in the ∞-categorical K-theory literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No major comments appear in the report, so we have no specific points requiring rebuttal or revision at this stage.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper defines the span functor from double ∞-categories to ∞-categories and constructs its right adjoint (the squares construction) via universal properties, then applies the resulting adjunction to derive equivalences among K-theory models. No step reduces the central claim to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation whose content is presupposed; the equivalences are treated as known results for which new proofs are supplied, not as inputs to the adjunction itself. The derivation remains self-contained against external benchmarks in ∞-category theory.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The work operates inside the established framework of ∞-categories and double ∞-categories; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

assumptions (1)
  • standard math Standard properties and coherence data of ∞-categories and double ∞-categories as developed in the prior literature.
    The span and squares constructions are defined using these background structures.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The span-squares adjunction." pith.science (2026). https://pith.science/paper/XVZ4HD6C

@misc{pith2026260610052,
  author       = {Pith},
  title        = {Pith review of: The span-squares adjunction},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XVZ4HD6C}},
  note         = {Machine review of arXiv:2606.10052}
}
abstract

We show a universal property of the span $\infty$-category that yields a description of functors defined on this category. For this, we view the span construction as a functor from double $\infty$-categories to $\infty$-categories, and show that this functor admits a right adjoint defined by the double $\infty$-categories of squares. Using this adjunction, we obtain new proofs of the equivalences between different models of algebraic $K$-theory, given by the $Q$-, the $S$-, the cobordism model, and the squares construction.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 9 canonical work pages

  1. [1]

    Arakawa,Classification Diagrams of Marked Simplicial Sets, arXiv (2023).https://arxiv.org/abs/2311.01101

    K. Arakawa,Classification Diagrams of Marked Simplicial Sets, arXiv (2023).https://arxiv.org/abs/2311.01101

    work page arXiv 2023

  2. [2]

    Balmer and I

    P. Balmer and I. Dell’Ambrogio,Mackey2-functors and Mackey2-motives, EMS Monogr. Math., Zürich, European Mathematical Society (EMS), 2020

    2020

  3. [3]

    On the Q construction for exact quasicategories

    C. Barwick,On the Q-construction for exact quasicategories, arXiv (2013).https://arxiv.org/abs/1301.4725

    work page Pith review arXiv 2013

  4. [4]

    Barwick,On exact∞-categories and the Theorem of the Heart, Compos

    C. Barwick,On exact∞-categories and the Theorem of the Heart, Compos. Math.151(2015), no. 11, 2160–2186

    2015

  5. [5]

    Barwick,On the algebraic𝐾-theory of higher categories, J

    C. Barwick,On the algebraic𝐾-theory of higher categories, J. Topol.9(2016), no. 1, 245–347

    2016

  6. [6]

    Barwick,Spectral Mackey functors and equivariant algebraic𝐾-theory

    C. Barwick,Spectral Mackey functors and equivariant algebraic𝐾-theory. I., Adv. Math.304(2017), 646–727

    2017

  7. [7]

    J. A. Campbell,The𝐾-theory spectrum of varieties, Trans. Amer. Math. Soc.371(2019), no. 11, 7845–7884

    2019

  8. [8]

    Campbell, J

    J. Campbell, J. Kuijper, M. Merling, and I. Zakharevich,Algebraic𝐾-theory for squares categories, Ann. K-Th.11(2026), no. 1, 1–36

    2026

Show all 27 references
  1. [9]

    Cnossen, T

    B. Cnossen, T. Lenz, and S. Linskens,Parametrized higher semiadditivity and the universality of spans, arXiv (2024).https: //arxiv.org/abs/2403.07676

    2024

  2. [10]

    Cnossen, T

    B. Cnossen, T. Lenz, and S. Linskens,Universality of span2-categories and the construction of6-functor formalisms, arXiv (2025).https://arxiv.org/abs/2505.19192

    2025

  3. [11]

    Gaitsgory and N

    D. Gaitsgory and N. Rozenblyum,A study in derived algebraic geometry. Volume I: Correspondences and duality, Math. Surv. Monogr., Vol. 221, Providence, RI, American Mathematical Society (AMS), 2017

    2017

  4. [12]

    Harpaz,Ambidexterity and the universality of finite spans, Proc

    Y. Harpaz,Ambidexterity and the universality of finite spans, Proc. of the London Math. Soc.121(2020), no. 5, 1121–1170

    2020

  5. [13]

    Haugseng,Iterated spans and classical topological field theories, Math

    R. Haugseng,Iterated spans and classical topological field theories, Math. Z.289(2018), no. 3, 1427–1488

    2018

  6. [14]

    Haugseng, F

    R. Haugseng, F. Hebestreit, S. Linskens, and J. Nuiten,Two-variable fibrations, factorisation systems and∞-categories of spans, Forum Math. Sigma11(2023), no. e111, 1–70

    2023

  7. [15]

    Hebestreit and J

    F. Hebestreit and J. Steinebrunner,A short proof that Rezk’s nerve is fully faithful, Int. Math. Res. Not. IMRN2025(2025), no. 4, rnaf021. 14 GEORGE RAPTIS AND WOLFGANG STEIMLE

    2025

  8. [16]

    R. S. Hoekzema, M. Merling, L. Murray, C. Rovi, and J. Semikina,Cut and paste invariants of manifolds via algebraic𝐾-theory, Topology Appl.316(2022), no. 108105

    2022

  9. [17]

    Joyal and M

    A. Joyal and M. Tierney,Quasi-categories vs. Segal spaces, In: Categories in algebra, geometry and mathematical physics, Contemp. Math., vol. 431, pp. 277–326. Amer. Math. Soc., Providence, RI (2007)

    2007

  10. [18]

    Juran,On orthogonal factorization systems and double categories, arXiv (2025).https://arxiv.org/abs/2501.01363

    B. Juran,On orthogonal factorization systems and double categories, arXiv (2025).https://arxiv.org/abs/2501.01363. To appear in J. Pure Appl. Algebra

    2025

  11. [19]

    Liu and W

    Y. Liu and W. Zheng,Enhanced six operations and base change theorem for higher Artin stacks, arXiv (2012).https://arxiv. org/abs/1211.5948(2024)

    2012

  12. [20]

    A. W. Macpherson,A bivariant Yoneda lemma and(∞,2)-categories of correspondences, Algebr. Geom. Topol.22(2022), no. 6, 2689–2774

    2022

  13. [21]

    Mann,A𝑝-adic6-functor formalism in rigid-analytic geometry, arXiv (2022).https://arxiv.org/abs/2206.02022

    L. Mann,A𝑝-adic6-functor formalism in rigid-analytic geometry, arXiv (2022).https://arxiv.org/abs/2206.02022

    2022

  14. [22]

    Merling, G

    M. Merling, G. Raptis, and J. Semikina,Parametrized scissors congruence𝐾-theory of manifolds and cobordism categories, arXiv (2025).https://arxiv.org/abs/2504.01810

    2025

  15. [23]

    Quillen,Higher algebraic K-theory

    D. Quillen,Higher algebraic K-theory. I., Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pp. 85–147, Lecture Notes in Math. 341, Springer, Berlin 1973

    1972

  16. [24]

    Raptis,Higher homotopy categories, higher derivators, and𝐾-theory, Forum Math

    G. Raptis,Higher homotopy categories, higher derivators, and𝐾-theory, Forum Math. Sigma10(2022), no. e54, 1–36

    2022

  17. [25]

    Raptis and W

    G. Raptis and W. Steimle,A cobordism model for Waldhausen𝐾-theory.J. London Math. Soc.99(2019), no. 2, 516–534

    2019

  18. [26]

    Stefanich,Higher sheaf theory I: Correspondences, arXiv (2020)

    G. Stefanich,Higher sheaf theory I: Correspondences, arXiv (2020). arXiv:2011.03027(2020)

    2020

  19. [27]

    Waldhausen,Algebraic K-theory of spaces, Algebraic and geometric topology (New Brunswick, N.J., 1983), pp

    F. Waldhausen,Algebraic K-theory of spaces, Algebraic and geometric topology (New Brunswick, N.J., 1983), pp. 318–419, Lecture Notes in Math. 1126, Springer, Berlin, 1985. DEPARTMENT OFMATHEMATICS, ARISTOTLEUNIVERSITY OFTHESSALONIKI, 541 24 THESSALONIKI, GREECE Email address:r...

    1983

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.