Pita factorisation in operadic categories

Joachim Kock; Mark Weber; Michael Batanin

REVIEW 3 major objections 5 minor 1 cited by

Pita factorisation in operadic categories

T0 review · 3 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read The pita nerve of any strictly factorisable operadic category is a coherent top-lax simplicial category, and it becomes a decomposition space when quasibijections are invertible.

desk verdict Theorem A is probably true and the pita nerve is a real new construction, but the n>0 coherence proof leans on a lemma whose proof is one sentence; the paper deserves a serious referee, not a desk rejection. read the letter →

arxiv 2512.22794 v2 pith:TB2NBFL7 submitted 2025-12-28 math.CT

Michael Batanin , Joachim Kock , Mark Weber This is my paper · ORCID

classification math.CT MSC 18M6018N50

keywords pitafactorisationoperadiccategoriestop-laxsimplicialobjectsdecompositionspaces2-Segalquasibijectionsnerveincidencecoalgebras

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

In a strictly factorisable operadic category, every morphism factors uniquely as an order-preserving map preceded by a quasibijection — the pita factorisation. This factorisation is not an orthogonal factorisation system, because the quasibijection condition is local to the codomain, so the usual machinery for building simplicial objects from factorisation systems cannot be applied directly. The paper shows that the pita factorisation is nevertheless enough: the pita nerve, whose n-simplices are locally order-preserving chains, is a coherent top-lax simplicial category. The only non-strictness sits in the top face operators, and it measures a real phenomenon: the fibres of a composite morphism are not literally the fibres of the fibres, but are canonically reordered versions of them. In the case where all quasibijections are invertible, the pita nerve is a decomposition space and thus carries an incidence coalgebra; the paper works out a new example for surjections of finite sets. The motivation is that this coherence is exactly what is needed to show that every operadic category has a coherent operadic nerve in a simplicial approach.

What carries the argument

The key object is the pita factorisation: each morphism f factors uniquely as f = η_f ∘ π_f with η_f order-preserving and π_f a quasibijection that is order-preserving on fibres. Strict factorisability adds a unique filler η(f/g) for every composable pair f,g, making the choice functorial. The paper builds the pita nerve by first forming W(O)_n, the category of all chains of n composable morphisms (a strict simplicial category), then passing to the reflective subcategory P(O)_n of locally order-preserving chains via reflection functors r_n. The top face operator d_n is defined as t_{n-1} δ_n, the reflection of an omitted last object, which creates the non-strictness. The coherence of the res

What would settle it

Compute both sides of coherence equation (35), π(η(f3/f2))π(f2f3) = π(π(f2)η(f3))π(f3), in the strictly factorisable category of finite ordinals for a pair of maps f3: T3→T2 and f2: T2→T1; a single pair for which the two composites differ would disprove Theorem A. More globally, search for a strictly factorisable operadic category whose pita nerve fails the two β-coherence axioms (26) and (27).

Watch

Extended reading notes

Core claim

The paper proves Theorem A: for every strictly factorisable operadic category, the pita nerve — n-simplices are locally order-preserving chains of n morphisms — is a coherent top-lax simplicial category. All simplicial identities hold strictly except those for two consecutive top face operators, replaced by 2-cells satisfying two coherence axioms. Strict factorisability makes the reflection from all chains back to locally order-preserving chains unique, and the non-strictness records that fibres of a composite are equal to fibres of fibres only up to a canonical reordering. Theorem B: when quasibijections are invertible, the pita nerve is a decomposition space, hence carries an incidence coa

Load-bearing premise

The argument depends on strict factorisability: for every composable pair f,g there is exactly one filler morphism η(f/g) between the middle objects, and on the reduction of coherence checks to the length-zero case via a discrete opfibration property; if only a non-unique or non-functorial choice of fillers exists, the pita nerve may fail to be coherent.

Editorial extensions

If this is right

Strict factorisability compensates for the failure of the pita factorisation to be an orthogonal factorisation system, yielding a coherent weak simplicial structure for every strictly factorisable operadic category.
The coherence of the pita nerve implies that the operadic nerve of every operadic category is coherent, as used in the companion paper's simplicial approach.
When all quasibijections are invertible, the pita nerve is a decomposition space, so it carries an incidence coalgebra; the paper exhibits a new coalgebra for finite-set surjections with a comultiplication governed by factorial partition polynomials.
The non-strictness is a feature, not a defect: it encodes the axiom that 'fibres of fibres are fibres' only up to a canonical reordering, which is exactly the pita factorisation.

Reading between the lines

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

The construction suggests a general template: any category with a unique pita-style factorisation, such as the category of vines with braidings replacing permutations, should admit a coherent top-lax nerve by the same reflection method.
The new incidence coalgebra for finite-set surjections, with factorial partition-polynomial comultiplication, may admit a symmetric-function or plethystic interpretation that the classical composition bialgebra does not have.
A testable extension: the decomposition-space property should persist for strictly factorisable operadic categories where quasibijections become invertible only after localisation, which would connect the pita nerve to homotopy-coherent 2-Segal spaces.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Dear —,

Punchline: the pita nerve is a genuinely new construction, and Theorem A is likely correct. The paper is worth refereeing, but the harder n>0 part of the coherence proof is sketched more than proved, and a referee should push for the missing details.

What is actually new: the strict-factorisability condition, the pita nerve as a top-lax simplicial category, and the decomposition-space theorem in the invertible case. The Finsurj incidence bialgebra with the k! factors is new to me, and the explicit n=0 computations of the two coherence equations are real work, not filler. The connection to decalage and to Jardine's supercoherence is also well explained.

Where it is soft: Lemma 7.5 is the load-bearing step for reducing the n>0 coherence equations to the n=0 calculation, and its proof is a single sentence plus a reference to Diagram (25), which itself is justified only by "induction similar to the case n=2." The stress-test worry is fair: the reduction needs faithfulness, not merely existence, of the lift, and that faithfulness has to come from strict factorisability. My guess is the lemma is true — the fibrewise order-preserving squares and uniqueness of η(f/g) are exactly the right ingredients — but the sentence "those calculations then amount to exactly the same calculations" in Theorem 9.5 is not a proof. Lemma 10.5 similarly leaves naturality to the reader, and "the other cases are similar" appears more than once. These are all fixable gaps, but together they make the central theorem harder to audit than it should be.

Also worth noting honestly: the headline application lives in the unpublished companion paper [4]. That is not a flaw in the mathematics here, but it means the motivation cannot currently be checked independently.

Bottom line: the reader's conditional verdict is about right. I would send it to a referee — the construction is novel and the main theorem matters for the operadic-category program — but I would ask the referee to focus on Lemma 7.5 and on making the n>0 coherence verification explicit. If the uniqueness argument can be written out, this is a solid contribution.

Referee Report

3 major / 5 minor

Summary. The paper develops a theory of 'pita factorisation' in strictly factorisable operadic categories. It defines, for such a category O, a sequence of categories P(O)_n of locally order-preserving chains, assembled via reflection functors into a 'top-lax simplicial category' called the pita nerve. The main result, Theorem A, states that the pita nerve of a strictly factorisable operadic category is a coherent top-lax simplicial category. In the case where all quasibijections are invertible, the paper proves (Theorem B) that this pita nerve is a decomposition space (a 2-Segal space). It also computes the resulting incidence bialgebra for the operadic category Fin_surj. The central construction is motivated by a companion paper [4] where the operadic nerve of any operadic category is shown to be coherent via Theorem A.

Significance. If correct, Theorem A is a substantial and useful result: it shows that strict factorisability compensates for the failure of pita factorisations to form an orthogonal factorisation system, and yields a coherent weak simplicial structure on the pita nerve. This is a key technical ingredient for the authors' broader programme, as stated in the introduction. Theorem B, giving a decomposition-space structure in the invertible-quasibijection case, is also interesting and provides a new family of decomposition spaces with an explicit incidence coalgebra. The paper's treatment of the motivating example Fin, the notion of locally order-preserving chains, and the explicit n=0 verifications in Theorem 9.5 are valuable. However, the proof of the main theorem is not fully written out: several reduction steps are asserted rather than proved, and these steps are load-bearing for the central claim.

major comments (3)

[§7, Lemma 7.5 and Proposition 7.3] Lemma 7.5 asserts that P(O)_n → P(O)_0 is a discrete opfibration, with the proof being a single sentence: 'any σ0:T0→S0 admits a unique lifting ... using Diagram (25).' But Diagram (25) is only a sketch, justified at the end of Proposition 7.3 by 'an induction similar to the case n=2', whose n=2 verification itself has a gap: the commutativity of the top square in the diagram after Eq. (22) is resolved by invoking uniqueness in Proposition 6.8(1), but the relevant naturality and uniqueness properties for arbitrary chains are not proved. This lemma is used in Theorem 9.5 to reduce the n>0 coherence checks to n=0; for that reduction one needs not just existence but also faithfulness—i.e., genuine uniqueness of the lifting. As written, the lemma is not established, and the proof of Theorem 9.5 therefore does not go through for n>0.
[§9, Theorem 9.5, Equations (26) and (34)] Equation (26)/(34) is verified only in the case n=0. The text states: 'For n>0, a direct calculation ... would lead to long and complicated relations ... Fortunately Lemma 7.5 shows that it is not necessary ... Those calculations then amount to exactly the same calculations as for n=0.' This is not a proof unless Lemma 7.5 is fully established, which it is not (see previous comment). In particular, identifying the two sides of (34) for n>0 requires the discrete opfibration property, including the uniqueness of the lifting, to compare 2-cells by looking only at their bottom quasibijections. The same issue affects Equation (27), which is checked only for n=0 with 'the other cases are similar'. Since Theorem A is the central result, this is a load-bearing gap; a complete proof or a precise reduction is needed.
[§10, Theorem 10.4 and Lemma 10.5] The proof of Theorem 10.4 checks the required pullback squares only for n=0, asserting that 'All the higher cases are analogous, only with longer chains.' The core of the n=0 argument is Lemma 10.5, whose proof is itself incomplete: the claimed adjunction is stated with 'We leave checking naturality of this morphism to the reader as an exercise', and functoriality of F is asserted to 'follow easily from Proposition 6.8(1)'. Moreover, the discreteness of C2 is justified by saying that a fibrewise order-preserving quasibijection w between order-preserving maps 'must be an identity', but this uses a uniqueness property that is not proved in the stated generality. Since Theorem B is a main theorem, these steps should be written out.

minor comments (5)

[Title] The title in the manuscript reads 'PITA F ACTORISATION' in the header; this appears to be a typo for 'PITA FACTORISATION'.
[§8, Definition 8.1] The displayed diagrams for Equations (26) and (27) are difficult to read because several morphism labels appear missing or misplaced; for instance, the right-hand side of (27) seems to have a stray '1' and an ambiguous 'sn+1'. Please re-render for clarity.
[§9, Apology 9.2] The 'Apology 9.2' is unconventional in a research paper; the indexing convention is understandable and the explanation is helpful, but formatting it as a formal remark would be more appropriate.
[Introduction] The companion paper [4] is cited as 'MAIN PAPER' without an arXiv identifier or full bibliographic data. This makes it hard to audit the claimed application of Theorem A; please add a reference or at least state that it is in preparation.
[§10] In the computation of the incidence bialgebra for Fin_surj, the notation B(n,k)(A1,A2,...) is used without spelling out the precise convention for the Bell polynomials; a short definition or reference would help.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorems A and B are proved from the stated strict-factorisability assumptions; self-citations are motivational or application-only.

full rationale

The pita nerve construction is not circular: the categories P(O)_n are defined from locally order-preserving chains in an arbitrary strictly factorisable operadic category (Definitions 5.1-6.1), and the face, degeneracy and beta-cell data are constructed explicitly in Section 9 from the pita factorisation and the reflection r_n. Theorem 9.5 checks the coherence equations (26) and (27); those equations are not inserted into Definition 6.1. The higher-n cases are reduced to the n=0 computation via Lemma 7.5, whose proof is terse and relies on uniqueness of the filler and on Diagram (25); even if that reduction were incomplete, it is a proof gap, not a circularity, since the lemma is not derived from the coherence equations being proved. Theorem 10.4 is argued independently using Jardine's external supercoherence theorem and the explicit adjunction/equivalence in Lemma 10.5; the decomposition-space pullback squares are not assumed. The self-citation to the companion paper [4] runs in the reverse direction: the text says the theorem in [4] is proved by reducing to Theorem A of the present paper, so [4] is an application, not an input. The citations to [7,6] provide definitions and examples of strict factorisability, but the main conditional theorems do not depend on unverified self-cited results for their content. There are no fitted parameters and no empirical prediction being relabelled as a derivation. Accordingly no circular step is exhibited; score 0.

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

No free parameters are fitted. The paper's mathematical objects (pita nerve, top-lax simplicial objects) are explicit constructions and definitions, not empirical entities pulled from a hat; the main reliance is on prior operadic-category framework and on the unpublished companion [4].

assumptions (5)

domain assumption Operadic category axioms (A1)-(A5) and cardinality functor structure from Batanin-Markl (Definition 3.1).
Everything about fibres and fibre maps in Sections 3-10 is built on this framework.
domain assumption O is strictly factorisable (Definition 6.1): unique pita factorisations and unique fillers η(f/g) for composable pairs.
The standing hypothesis of Sections 7-10; Theorem A is conditional on it.
standard math Jardine's supercoherence theorem (Proposition 10.2) supplies coherence of pseudo-simplicial objects from 17 families of equations.
Invoked without proof in Section 10 for the invertible case.
ad hoc to paper The companion paper [4] proves the operadic nerve of any operadic category is coherent, using Theorem A.
Advertised application; not proved in this preprint and not independently checkable here.
domain assumption In Theorem B, all quasibijections of O are invertible.
Hypothesis of Section 10, needed to make the nerve a groupoid-valued pseudo-simplicial object.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Pita factorisation in operadic categories." pith.science (2026). https://pith.science/paper/TB2NBFL7

@misc{pith2026251222794,
  author       = {Pith},
  title        = {Pith review of: Pita factorisation in operadic categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TB2NBFL7}},
  note         = {Machine review of arXiv:2512.22794}
}

abstract

In strictly factorisable operadic categories, every morphism $f$ factors uniquely as $f=\eta_f \circ \pi_f$ where $\eta_f$ is order-preserving and $\pi_f$ is a quasibijection that is order-preserving on the fibres of $\eta_f$. We call it the pita factorisation. In this paper we develop some general theory to compensate for the fact that generally pita factorisations do not form an orthogonal factorisation system. The main technical result states that a certain simplicial object in Cat, called the pita nerve, is oplax (rather than strict as it would be for an orthogonal factorisation system). The main application is the result that the so-called operadic nerve of any operadic category is coherent. This result is a key ingredient in the simplicial approach to operadic categories developed in the `main paper' [arXiv:2606.15671], which motivated the present paper. We also show that in the important case where quasibijections are invertible, the pita nerve is a decomposition space (a.k.a.~$2$-Segal space).

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

Polynomial $2$-monads and delooping
math.AT 2026-05 unverdicted novelty 5.0 of 10

Proves cofinality of a polynomial 2-monad morphism and applies it to reprove delooping of derived mapping spaces for infinitesimal bimodules.

Reference graph

Works this paper leans on

28 extracted references · 15 linked inside Pith · cited by 1 Pith paper

[4]

MAIN PAPER

Michael Batanin, Joachim Kock, and Mark Weber . MAIN PAPER
[1]

Double categories and quantum groupoids

Nicolas Andruskiewitsch and Sonia Natale . Double categories and quantum groupoids . Publ. Mat. Urug. 10 (2005), 11--51. ArXiv:math/0308228

arXiv 2005
[2]

The E ckmann- H ilton argument and higher operads

Michael Batanin . The E ckmann- H ilton argument and higher operads . Adv. Math. 217 (2008), 334--385. ArXiv:math/0207281

arXiv 2008
[3]

Regular patterns, substitudes, F eynman categories and operads

Michael Batanin, Joachim Kock, and Mark Weber . Regular patterns, substitudes, F eynman categories and operads . Theory Appl. Categ. 33 (2018), 148--192

2018
[5]

Operadic categories and duoidal D eligne's conjecture

Michael Batanin and Martin Markl . Operadic categories and duoidal D eligne's conjecture . Adv. Math. 285 (2015), 1630--1687. ArXiv:1404.3886

arXiv 2015
[6]

Koszul duality for operadic categories

Michael Batanin and Martin Markl . Koszul duality for operadic categories . Compositionality 5 (2023), No. 4, 1--56

2023
[7]

Operadic categories as a natural environment for K oszul duality

Michael Batanin and Martin Markl . Operadic categories as a natural environment for K oszul duality . Compositionality 5 (2023), No. 3, 1--46

2023
[8]

Homotopy theory of algebras of substitudes and their localisation

Michael Batanin and David White . Homotopy theory of algebras of substitudes and their localisation . Trans. Amer. Math. Soc. 375 (2022), 3569--3640. ArXiv:2001.05432

arXiv 2022

Show all 28 references

[9]

Hereditary species as monoidal decomposition spaces, comodule bialgebras, and operadic categories

Louis Carlier . Hereditary species as monoidal decomposition spaces, comodule bialgebras, and operadic categories . Int. Math. Res. Notices 2020 (2020), 5745--5780. ArXiv:1903.07964

2020 arXiv
[10]

Cassidy, M

C. Cassidy, M. H \'e bert, and G. M. Kelly . Reflective subcategories, localizations and factorization systems . J. Austral. Math. Soc. Ser. A 38 (1985), 287--329

1985
[11]

Directed hereditary species and decomposition spaces

Alex Cebrian and Wilson Forero . Directed hereditary species and decomposition spaces . Preprint, arXiv:2211.07721

arXiv
[12]

Abstract substitution in enriched categories

Brian Day and Ross Street . Abstract substitution in enriched categories . J. Pure Appl. Algebra 179 (2003), 49--63

2003
[13]

Higher Segal spaces

Tobias Dyckerhoff and Mikhail Kapranov . Higher Segal spaces . No. 2244 in Lecture Notes in Mathematics. Springer-Verlag, 2019. ArXiv:1212.3563

2019 arXiv
[14]

Decomposition spaces, incidence algebras and M \" o bius inversion I : B asic theory

Imma G \'a lvez-Carrillo, Joachim Kock, and Andrew Tonks . Decomposition spaces, incidence algebras and M \" o bius inversion I : B asic theory . Adv. Math. 331 (2018), 952--1015. ArXiv:1512.07573

2018 arXiv
[15]

Decomposition spaces and restriction species

Imma G \'a lvez-Carrillo, Joachim Kock, and Andrew Tonks . Decomposition spaces and restriction species . Int. Math. Res. Not. IMRN (2020), 7558--7616. ArXiv:1708.02570

2020 arXiv
[16]

Decomposition spaces in combinatorics

Imma G \'a lvez-Carrillo, Joachim Kock, and Andrew Tonks . Decomposition spaces in combinatorics . To appear in: Higher Segal spaces and applications (Banff 2024), Contemp. Math., AMS (2025). ArXiv:1612.09225

2024 arXiv
[17]

Operadic categories and d \'e calage

Richard Garner, Joachim Kock, and Mark Weber . Operadic categories and d \'e calage . Adv. Math. 377 (2021), 107440. ArXiv:1812.01750

2021 arXiv
[18]

J.F. Jardine . Supercoherence . J. Pure Appl. Algebra 75 (1991), 103--194

1991
[19]

On orthogonal factorization systems and double categories

Branko Juran . On orthogonal factorization systems and double categories . Preprint, arXiv:2501.01363

arXiv
[20]

Fa\`a di B runo for operads and internal algebras

Joachim Kock and Mark Weber . Fa\`a di B runo for operads and internal algebras . J. London Math. Soc. 99 (2019), 919--944. ArXiv:1609.03276

2019 arXiv
[21]

Operadic categories and their skew monoidal categories of collections

Stephen Lack . Operadic categories and their skew monoidal categories of collections . High. Struct. 2 (2018), 1--29. ArXiv:1610.06282

2018 arXiv
[22]

T. G. Lavers . The theory of vines . Comm. Algebra 25 (1997), 1257--1284

1997
[23]

Kirill C. H. Mackenzie . Double L ie algebroids and second-order geometry, I . Adv. Math. 94 (1992), 180--239

1992
[24]

Cloven operadic categories: An approach to operadic categories with cardinalities in finite unordered sets

Martin Markl . Cloven operadic categories: An approach to operadic categories with cardinalities in finite unordered sets . Compositionality 7 (2025), 1--28. ArXiv:2502.09163

2025
[25]

Lie- B utcher theory for R unge- K utta methods

Hans Munthe-Kaas . Lie- B utcher theory for R unge- K utta methods . BIT Numer. Math. 35 (1995), 572--587

1995
[26]

William R. Schmitt . Hopf algebras of combinatorial structures . Canad. J. Math. 45 (1993), 412--428

1993
[27]

Factorization systems and double categories

Miloslav Štěpán . Factorization systems and double categories . Theory Appl. Categ. 41 (2024), 551--592

2024
[28]

Internal algebra classifiers as codescent objects of crossed internal categories

Mark Weber . Internal algebra classifiers as codescent objects of crossed internal categories . Theory Appl. Categ. 30 (2015), 1713--1792. ArXiv:1503.07585

2015 arXiv

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.

[1] [4]

MAIN PAPER

Michael Batanin, Joachim Kock, and Mark Weber . MAIN PAPER

[2] [1]

Double categories and quantum groupoids

Nicolas Andruskiewitsch and Sonia Natale . Double categories and quantum groupoids . Publ. Mat. Urug. 10 (2005), 11--51. ArXiv:math/0308228

arXiv 2005

[3] [2]

The E ckmann- H ilton argument and higher operads

Michael Batanin . The E ckmann- H ilton argument and higher operads . Adv. Math. 217 (2008), 334--385. ArXiv:math/0207281

arXiv 2008

[4] [3]

Regular patterns, substitudes, F eynman categories and operads

Michael Batanin, Joachim Kock, and Mark Weber . Regular patterns, substitudes, F eynman categories and operads . Theory Appl. Categ. 33 (2018), 148--192

2018

[5] [5]

Operadic categories and duoidal D eligne's conjecture

Michael Batanin and Martin Markl . Operadic categories and duoidal D eligne's conjecture . Adv. Math. 285 (2015), 1630--1687. ArXiv:1404.3886

arXiv 2015

[6] [6]

Koszul duality for operadic categories

Michael Batanin and Martin Markl . Koszul duality for operadic categories . Compositionality 5 (2023), No. 4, 1--56

2023

[7] [7]

Operadic categories as a natural environment for K oszul duality

Michael Batanin and Martin Markl . Operadic categories as a natural environment for K oszul duality . Compositionality 5 (2023), No. 3, 1--46

2023

[8] [8]

Homotopy theory of algebras of substitudes and their localisation

Michael Batanin and David White . Homotopy theory of algebras of substitudes and their localisation . Trans. Amer. Math. Soc. 375 (2022), 3569--3640. ArXiv:2001.05432

arXiv 2022