pith. sign in

arxiv: 2606.10052 · v1 · pith:XVZ4HD6Cnew · submitted 2026-06-08 · 🧮 math.CT · math.KT

The span-squares adjunction

George Raptis , Wolfgang Steimle This is my paper

Pith reviewed 2026-06-27 13:49 UTC · model grok-4.3

classification 🧮 math.CT math.KT
keywords span constructiondouble ∞-categoriesalgebraic K-theoryadjunctionsquares constructionQ-constructionS-constructioncobordism model
0
0 comments X

The pith

The span construction, as a functor from double ∞-categories to ∞-categories, admits a right adjoint given by squares.

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

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.

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.

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.

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.

Where Pith is reading between the lines

These are 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.

Load-bearing premise

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

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.

read the original 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.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 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.

axioms (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.

pith-pipeline@v0.9.1-grok · 5607 in / 1143 out tokens · 18528 ms · 2026-06-27T13:49:49.112302+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

27 extracted references · 9 canonical work pages · 1 internal anchor

  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 internal anchor Pith review Pith/arXiv 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

  9. [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

    work page arXiv 2024

  10. [10]

    Universality of span 2-categories and the construction of 6-functor formalisms

    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

    work page arXiv 2025

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

    work page arXiv 2025

  19. [19]

    Enhanced six operations and base change theorem for higher Artin stacks

    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)

    work page arXiv 2012

  20. [20]

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

    2022

  21. [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

    work page arXiv 2022

  22. [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

    work page arXiv 2025

  23. [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

  24. [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

  25. [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

  26. [26]

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

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

    work page arXiv 2020

  27. [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:raptisg@math.auth.gr INSTITUT FÜRMATHEMATIK, UNIVERSITÄTAUGSBURG, GERMANY Email a...

    1983