arxiv: 2604.15142 · v1 · submitted 2026-04-16 · 🧮 math.CT · math.AT

Recognition: unknown

Invertibility and parity in symmetric monoidal categories

Nick Gurski, Niles Johnson

Pith reviewed 2026-05-10 08:54 UTC · model grok-4.3

classification 🧮 math.CT math.AT

keywords parityinvertible objectssymmetric monoidal categoriescoherence theorempermutative categoriessuper integers2-monadic algebra

0 comments

The pith

A parity notion for morphisms between invertible objects supports a coherence theorem in symmetric monoidal categories.

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

The paper introduces a notion of parity for formal morphisms between invertible objects. This parity resembles the sign of permutations but is defined without reference to them. The authors use this to prove a coherence theorem for structures involving invertibility. A reader would care because it provides a way to handle signs and equivalences abstractly in categorical algebra. The work details the free permutative category on an invertible generator and its equivalence to the super integers model.

Core claim

The authors establish that parity, defined for formal morphisms between invertible objects, allows proving a corresponding coherence theorem. This is done by thoroughly treating the free permutative category on an invertible generator, its skeletal model known as the super integers, and showing an equivalence classified by the pair of integers ±1. The approach relies on 2-monadic algebra, including flexibility and the Lack model structure.

What carries the argument

The parity for formal morphisms between invertible objects, which carries the proof of the coherence theorem by providing a well-behaved invariant similar to but independent of permutation signs.

Load-bearing premise

The parity notion is sufficiently well-behaved to support the coherence theorem in the free permutative category on an invertible generator.

What would settle it

An explicit computation in the super integers showing two morphisms with matching parity that are not related by the claimed coherence equivalence would disprove the result.

read the original abstract

We introduce a notion of parity for formal morphisms between invertible objects and use it to prove a corresponding coherence theorem. Parity is conceptually similar to the sign of underlying permutations, but not defined as such. To give complete details, this work includes a thorough treatment of the free permutative category on an invertible generator, its skeletal model, known as the super integers, and an equivalence between them classified by the pair of integers $\pm$1. Our approach is organized and clarified as an application of 2-monadic algebra, particularly the concept of flexibility and the Lack model structure. The final section contains a number of examples applying the main results.

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.

Desk Editor's Note private letter to a colleague

This paper defines a new parity notion for morphisms of invertible objects and establishes a coherence theorem using the super integers and 2-monadic algebra.

read the letter

The paper introduces a parity for morphisms between invertible objects in symmetric monoidal categories and proves a coherence theorem for the free permutative category generated by one invertible object. They model this with super integers as a skeletal version and use 2-monadic algebra to organize the proof. They start from the free permutative category on an invertible generator and derive the equivalence to the super integers. Parity is not defined via permutations but stands on its own, which is presented as new. The approach uses the Lack model structure and flexibility to clarify the steps. What they do well is provide a thorough treatment of that free category and its skeletal model. The equivalence is classified by the pair of units ±1. Having examples at the end helps see how the main results apply in practice. The organization through 2-monadic algebra makes the logic clearer than some classical coherence proofs. On the soft spots, the central claim rests on the parity being well-behaved enough for the coherence. The description gives no sign of problems there, and the construction avoids obvious circularity by building from the free object. That said, the specialized nature means it won't have wide impact outside this area. Readers who work on coherence in monoidal categories or related topics in higher category theory will get the most from it. It could be relevant for algebraic K-theory where invertible objects appear. The paper shows clear thinking with explicit constructions and standard tools applied carefully, so it deserves a serious referee. I would send it out for peer review. The work is grounded enough that referees can check the details without starting from scratch.

Referee Report

0 major / 3 minor

Summary. The paper introduces a notion of parity for formal morphisms between invertible objects in symmetric monoidal categories (conceptually similar to but independent of permutation signs) and deploys it to prove a coherence theorem. It gives a complete treatment of the free permutative category on an invertible generator, establishes its equivalence to the skeletal model of super-integers (classified by pairs of units ±1), and organizes the argument via 2-monadic algebra, flexibility, and the Lack model structure, concluding with examples.

Significance. If the parity definition and coherence theorem hold, the work supplies a new, non-permutation-based invariant for morphisms of invertibles together with an explicit skeletal model and equivalence. The 2-monadic organization and use of flexibility/Lack structure constitute a reusable methodological contribution for coherence results in symmetric monoidal categories. The concrete super-integer model and final examples provide immediate computational value.

minor comments (3)

[§2] §2 (free permutative category): the skeletal model is introduced via generators and relations; a short table comparing the relations to the standard permutative axioms would improve readability.
[§4] §4 (equivalence): the classification by pairs of units ±1 is stated but the functoriality of the equivalence on 2-cells is only sketched; an explicit diagram or one-line verification would confirm that parity is preserved.
Notation: the symbol for the parity map is introduced without a dedicated definition environment; placing it in a displayed definition box would aid cross-reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the paper, recognition of its significance, and recommendation for minor revision. No specific major comments were listed in the report, so we have no points requiring detailed rebuttal or revision at this stage. We remain available to address any minor editorial suggestions that may arise.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines a parity notion for formal morphisms between invertible objects that is explicitly distinguished from permutation signs, then deploys it to obtain a coherence theorem for the free permutative category on an invertible generator. This proceeds through an explicit equivalence to the skeletal super-integers model (classified by pairs of units ±1) using standard external tools: 2-monadic algebra, flexibility, and the Lack model structure. No equation or construction reduces the target coherence result to a fitted input, a self-referential definition, or a load-bearing self-citation whose content is itself unverified. The central steps are constructive and independent of the final theorem, consistent with the reader's assessment of score 2.0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The work rests on the standard axioms of symmetric monoidal categories and permutative categories, plus the 2-monadic algebra framework and Lack model structure. The parity notion itself is introduced as a new definition rather than derived from prior data.

axioms (2)

standard math Symmetric monoidal category axioms (associativity, unit, symmetry isomorphisms satisfying coherence)
Invoked throughout as the ambient setting for invertible objects and formal morphisms.
domain assumption 2-monadic algebra and flexibility in the Lack model structure
Used to organize the proof and classify the equivalence between the free permutative category and super integers.

invented entities (2)

parity for formal morphisms between invertible objects no independent evidence
purpose: To define an even-or-odd property that supports the coherence theorem without reference to underlying permutations.
Newly introduced concept; no independent falsifiable handle outside the categorical construction is stated.
super integers as skeletal model no independent evidence
purpose: To provide an explicit combinatorial model equivalent to the free permutative category on an invertible generator.
Constructed as part of the proof; equivalence classified by ±1.

pith-pipeline@v0.9.0 · 5392 in / 1462 out tokens · 27696 ms · 2026-05-10T08:54:39.951349+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

39 extracted references · 27 canonical work pages

[1]

Abramsky, No-cloning in categorical quantum mechanics, Semantic Techniques in Quantum Computation, Cambridge University Press, 2010, pp

S. Abramsky, No-cloning in categorical quantum mechanics, Semantic Techniques in Quantum Computation, Cambridge University Press, 2010, pp. 1--28. doi:10.1017/CBO9781139193313.002

work page doi:10.1017/cbo9781139193313.002 2010
[2]

J. C. Baez and A. D. Lauda, Higher-dimensional algebra. V . 2-groups , Theory Appl. Categ. 12 (2004), no. 14, 423--491

2004
[3]

Blackwell , G

R. Blackwell , G. Kelly , and A. Power , Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989), no. 1, 1--41. doi:10.1016/0022-4049(89)90160-6

work page doi:10.1016/0022-4049(89)90160-6 1989
[4]

Braunling, Braided categorical groups and strictifying associators, Homology Homotopy Appl

O. Braunling, Braided categorical groups and strictifying associators, Homology Homotopy Appl. 22 (2020), no. 2, 295--321 (English). doi:10.4310/HHA.2020.v22.n2.a19

work page doi:10.4310/hha.2020.v22.n2.a19 2020
[5]

Corner and N

A. Corner and N. Gurski, Operads and equivariance. arXiv:2603.19854v1

work page arXiv
[6]

Dugger, Coherence for invertible objects and multigraded homotopy rings, Algebr

D. Dugger, Coherence for invertible objects and multigraded homotopy rings, Algebr. Geom. Topol. 14 (2014), no. 2, 1055--1106 (English). doi:10.2140/agt.2014.14.1055

work page doi:10.2140/agt.2014.14.1055 2014
[7]

Ganter and M

N. Ganter and M. Kapranov, Symmetric and exterior powers of categories, Transform. Groups 19 (2014), no. 1, 57--103 (English). doi:10.1007/s00031-014-9255-z

work page doi:10.1007/s00031-014-9255-z 2014
[8]

Gurski, Biequivalences in tricategories, Theory Appl

N. Gurski, Biequivalences in tricategories, Theory Appl. Categ. 26 (2012), no. 14, 349--384

2012
[9]

Gurski and N

N. Gurski and N. Johnson, Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors, Compositionality 7 (2025), no. 3, 1--68. doi:10.46298/compositionality-7-3

work page doi:10.46298/compositionality-7-3 2025
[10]

Gurski, N

N. Gurski, N. Johnson, and A. M. Osorno, Topological invariants from higher categories, Notices Amer. Math. Soc. 66 (2019), no. 8, 1225--1237. doi:10.1090/noti1934

work page doi:10.1090/noti1934 2019
[11]

Gurski, N

N. Gurski, N. Johnson, and A. M. Osorno, The symmetric monoidal 2-category of permutative categories, High. Struct. 8 (2024), no. 1, 244--320 (English). doi:10.21136/HS.2024.06

work page doi:10.21136/hs.2024.06 2024
[12]

Halbig and T

S. Halbig and T. Zorman, Duality in monoidal categories. doi:10.48550/arXiv.2301.03545 arXiv:2301.03545v3

work page doi:10.48550/arxiv.2301.03545
[13]

E., Quantum Theory of Solids, Oxford Classic Texts in the Physical Sciences

C. Heunen and J. Vicary, C ategories for Q uantum T heory: A n I ntroduction , Oxford Graduate Texts in Mathematics, Oxford University Press, 2019. doi:10.1093/oso/9780198739623.001.0001

work page doi:10.1093/oso/9780198739623.001.0001 2019
[14]

P. S. Hirschhorn, Model categories and their localizations, Math. Surv. Monogr., vol. 99, American Mathematical Society, Providence, RI, 2003

2003
[15]

Horst, Cohomology of P icard C ategories , Ph.D

P. Horst, Cohomology of P icard C ategories , Ph.D. thesis, Ohio State University, 2020, Available at https://etd.ohiolink.edu/acprod/odb_etd/etd/r/1501/10?clear=10&p10_accession_num=osu1587396997809887

2020
[16]

Hovey, Model C ategories , Math

M. Hovey, Model C ategories , Math. Surv. Monogr., vol. 63, Providence, RI: American Mathematical Society, 1999 (English)

1999
[17]

Johnson and A

N. Johnson and A. M. Osorno, Modeling stable one-types, Theory Appl. Categ. 26 (2012), no. 20, 520--537

2012
[18]

E., Quantum Theory of Solids, Oxford Classic Texts in the Physical Sciences

N. Johnson and D. Yau, 2 - D imensional C ategories , Oxford University Press, New York, 2021. doi:10.1093/oso/9780198871378.001.0001 arXiv:2002.06055

work page doi:10.1093/oso/9780198871378.001.0001 2021
[19]

Joyal, R

A. Joyal, R. Street, and D. Verity, Traced monoidal categories, Math. Proc. Camb. Philos. Soc. 119 (1996), no. 3, 447--468 (English). doi:10.1017/S0305004100074338

work page doi:10.1017/s0305004100074338 1996
[20]

Joyal and M

A. Joyal and M. Tierney, Strong stacks and classifying spaces, Category theory, Proc . Int . Conf ., Como / Italy 1990, Lecture Notes in Mathematics, vol. 1488, Springer Berlin, Heidelberg, 1991, pp. 213--236 (English). doi:10.1007/BFb0084222

work page doi:10.1007/bfb0084222 1990
[21]

Kapranov, Supergeometry in mathematics and physics, New Spaces in Physics: Volume 2: Formal and Conceptual Reflections (2021), 114

M. Kapranov, Supergeometry in mathematics and physics, New Spaces in Physics: Volume 2: Formal and Conceptual Reflections (2021), 114

2021
[22]

G. M. Kelly, An abstract approach to coherence, Coherence in Categories , Lect . Notes Math . 281, 106-147 (1972)., 1972. doi:10.1007/bfb0059557

work page doi:10.1007/bfb0059557 1972
[23]

I , Coherence in Categories , Lect

, Many-variable functorial calculus. I , Coherence in Categories , Lect . Notes Math . 281, 66-105 (1972)., 1972. doi:10.1007/bfb0059556

work page doi:10.1007/bfb0059556 1972
[24]

S em., S ydney, 1972/1973), Lecture Notes in Math., Vol

, Coherence theorems for lax algebras and for distributive laws, Category S eminar ( P roc. S em., S ydney, 1972/1973), Lecture Notes in Math., Vol. 420, 1974, pp. 281--375

1972
[25]

S em., S ydney, 1972/1973), Lecture Notes in Mathematics, vol

, Doctrinal adjunction, Category S eminar ( P roc. S em., S ydney, 1972/1973), Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1974, pp. 257--280 (English). doi:10.1007/BFb0063105

work page doi:10.1007/bfb0063105 1972
[26]

, Elementary observations on 2 -categorical limits , Bull. Austral. Math. Soc. 39 (1989), no. 2, 301--317. doi:10.1017/S0004972700002781

work page doi:10.1017/s0004972700002781 1989
[27]

G. M. Kelly and M. L. Laplaza, Coherence for compact closed categories, J. Pure Appl. Algebra 19 (1980), 193--213 (English). doi:10.1016/0022-4049(80)90101-2

work page doi:10.1016/0022-4049(80)90101-2 1980
[28]

Lack, Homotopy-theoretic aspects of 2-monads, J

S. Lack, Homotopy-theoretic aspects of 2-monads, J. Homotopy Relat. Struct. 2 (2007), no. 2, 229--260 (English)

2007
[29]

Lack, Codescent objects and coherence, J

S. Lack, Codescent objects and coherence, J. Pure Appl. Algebra 175 (2002), no. 1-3, 223--241, Special volume celebrating the 70th birthday of Professor Max Kelly. doi:10.1016/S0022-4049(02)00136-6

work page doi:10.1016/s0022-4049(02)00136-6 2002
[30]

2, 171--205

, A Q uillen model structure for 2-categories , K -Theory 26 (2002), no. 2, 171--205. doi:10.1023/A:1020305604826

work page doi:10.1023/a:1020305604826 2002
[31]

, A 2-categories companion, Towards higher categories, IMA Vol. Math. Appl., vol. 152, Springer, New York, 2010, pp. 105--191. doi:10.1007/978-1-4419-1524-5\_4 arXiv:math/0702535

work page doi:10.1007/978-1-4419-1524-5 2010
[32]

M. L. Laplaza, Coherence for categories with group structure: An alternative approach , J. Algebra 84 (1983), 305--323 (English). doi:10.1016/0021-8693(83)90081-9

work page doi:10.1016/0021-8693(83)90081-9 1983
[33]

Mac Lane, Natural associativity and commutativity, Rice Univ

S. Mac Lane, Natural associativity and commutativity, Rice Univ. Studies 49 (1963), no. 4, 28--46

1963
[34]

1998 , publisher =

, Categories for the working mathematician, 2nd ed., Grad. Texts Math., vol. 5, New York, NY: Springer, 1998 (English). doi:10.1007/978-1-4757-4721-8

work page doi:10.1007/978-1-4757-4721-8 1998
[35]

J. P. May, The G eometry of I terated L oop S paces , Lectures Notes in Mathematics, vol. 271, Springer-Verlag, Berlin, 1972

1972
[36]

, E_ spaces, group completions, and permutative categories , New developments in topology ( P roc. S ympos. A lgebraic T opology, O xford, 1972), London Math. Soc. Lecture Note Ser, vol. 11, Cambridge Univ. Press, London, 1974, pp. 61--93. doi:10.1017/CBO9780511662607.008

work page doi:10.1017/cbo9780511662607.008 1972
[37]

Ponto and M

K. Ponto and M. Shulman, Traces in symmetric monoidal categories, Expo. Math. 32 (2014), no. 3, 248--273 (English). doi:10.1016/j.exmath.2013.12.003

work page doi:10.1016/j.exmath.2013.12.003 2014
[38]

Riehl, Category T heory in C ontext , Aurora: Dover Modern Math Originals, Dover Publications, 2016

E. Riehl, Category T heory in C ontext , Aurora: Dover Modern Math Originals, Dover Publications, 2016

2016
[39]

Ulbrich, Koh \"a renz in Kategorien mit Gruppenstruktur

K.-H. Ulbrich, Koh \"a renz in Kategorien mit Gruppenstruktur . III , J. Algebra 88 (1984), 292--316 (German). doi:10.1016/0021-8693(84)90102-9

work page doi:10.1016/0021-8693(84)90102-9 1984