arxiv: 2604.16945 · v1 · submitted 2026-04-18 · 🧮 math.CT

Recognition: unknown

Biprops

Volodymyr Lyubashenko

Pith reviewed 2026-05-10 07:13 UTC · model grok-4.3

classification 🧮 math.CT

keywords bipropssymmetric weak multicategoriesbicategoriesfree monoidtensor productcoloured propsmultifunctorscategory theory

0 comments

The pith

Symmetric weak multicategories give rise to biprops via a functor that also maps multifunctors to biprop morphisms.

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

The paper defines biprops as bicategories whose objects form a free monoid and which carry structure resembling a symmetric strict tensor product. It proves that every symmetric weak multicategory produces such a biprop and every symmetric weak multifunctor produces a morphism of biprops, yielding a functor between the two categories. This construction generalizes both coloured props and symmetric weak multicategories in a single bicategorical setting. A sympathetic reader would care because the result supplies a direct, structure-preserving translation from multicategorical data into bicategories.

Core claim

Biprops are bicategories whose objects form a free monoid and are equipped with structure resembling a symmetric strict tensor product. The paper proves that a symmetric weak multicategory gives rise to a biprop and a symmetric weak multifunctor gives rise to a morphism of biprops. This assignment defines a functor from the category of symmetric weak multicategories to the category of biprops.

What carries the argument

The biprop, a bicategory whose objects form a free monoid equipped with structure resembling a symmetric strict tensor product.

If this is right

Every symmetric weak multicategory corresponds to a biprop.
Every symmetric weak multifunctor corresponds to a morphism of biprops.
The assignment is functorial, preserving identities and composition.
Biprops serve as a common generalization that includes coloured props as special cases.

Where Pith is reading between the lines

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

The functor supplies a concrete way to compare symmetric weak multicategories by comparing their associated biprops.
Further 2-categorical operations on the biprop side may correspond to operations on the original multicategory that were not previously visible.
One could check whether the functor is full and faithful or admits an adjoint.

Load-bearing premise

A bicategory whose objects form a free monoid can be equipped with coherent structure resembling a symmetric strict tensor product without inconsistencies in the associators, unitors, or symmetry data.

What would settle it

An explicit symmetric weak multicategory whose induced biprop violates coherence for the tensor product or symmetry data.

Figures

Figures reproduced from arXiv: 2604.16945 by Volodymyr Lyubashenko.

**Figure 2.** Figure 2: Coherence of a morphism of biprops with the tensor multiplication [PITH_FULL_IMAGE:figures/full_fig_p019_2.png] view at source ↗

**Figure 3.** Figure 3: Coherence of a morphism of biprops with the composition [PITH_FULL_IMAGE:figures/full_fig_p020_3.png] view at source ↗

**Figure 4.** Figure 4: Natural isomorphism for FF → a ϕ: I→J∈Ssk Y j∈J D [PITH_FULL_IMAGE:figures/full_fig_p023_4.png] view at source ↗

**Figure 5.** Figure 5: The composition is preserved by F 25 [PITH_FULL_IMAGE:figures/full_fig_p025_5.png] view at source ↗

read the original abstract

We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We prove that a symmetric weak multicategory gives rise to a biprop and a symmetric weak multifunctor gives rise to a morphism of biprops. This is a functor from the category of symmetric weak multicategories to the category of biprops.

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

Biprops repackage symmetric weak multicategories as bicategories whose objects form a free monoid with an added strict symmetric tensor structure, and the paper gives a functor realizing this.

read the letter

The main point is that biprops are bicategories with objects forming a free monoid, equipped with structure that behaves like a symmetric strict tensor product. The paper shows this construction comes from any symmetric weak multicategory and that symmetric weak multifunctors become morphisms of biprops, yielding a functor between the two categories. This generalizes both coloured props and the multicategories in one go by forcing the tensor to be strict on objects while leaving the rest of the bicategory data weak. The paper does a reasonable job spelling out the object, 1-cell, and 2-cell assignments and verifying functoriality on the nose. The strictness on objects is a standard move that often reduces clutter, and the correspondence looks direct once the definitions are fixed. The soft spot is the coherence data. The construction must produce associators, unitors, and braiding 2-cells from the weak multi-composition and symmetry of the original multicategory, then check that they satisfy the bicategory pentagon, triangle, and hexagon diagrams plus the extra symmetric tensor axioms. The stress-test note flags exactly this point. If the paper supplies explicit diagram chases or shows that the multicategory axioms force the required commutativities without extra choices, the claim holds. If any step relies on an unstated coherence or a non-canonical choice, the resulting biprop may not be well-defined. The paper appears to attempt the verification, but the details determine whether the construction is fully rigorous. This is for readers already working inside higher category theory with multicategories and props. Someone who knows the weak structures well will see the re-packaging quickly and may find it convenient for calculations. It is narrow enough that most outsiders will not need it. I would send it to peer review. The claim is concrete, the target audience is clear, and a referee in the area can check the coherence steps directly.

Referee Report

3 major / 2 minor

Summary. The manuscript defines biprops as bicategories whose objects form a free monoid, equipped with additional structure resembling a symmetric strict tensor product that generalizes coloured props and symmetric weak multicategories. It asserts the existence of a functor from the category of symmetric weak multicategories to the category of biprops, constructed by showing that every symmetric weak multicategory induces a biprop and every symmetric weak multifunctor induces a morphism of biprops.

Significance. If the construction is carried through with full verification of all bicategory axioms and tensor coherence diagrams, the result would supply a concrete embedding of symmetric weak multicategories into a bicategorical setting with strict object-level tensor, potentially clarifying relationships between operadic and bicategorical structures. The paper does not supply machine-checked proofs or explicit parameter-free derivations, so the significance remains conditional on the missing technical details.

major comments (3)

[Abstract, §2] Abstract and §2 (definition of biprop): the claim that the induced 1-cell and 2-cell data satisfy all bicategory axioms plus the symmetric strict tensor coherence diagrams is asserted without exhibiting the explicit associators, unitors, or braiding 2-cells derived from the weak multicategory composition, nor any check that they obey the pentagon, triangle, or hexagon identities.
[§3] §3 (functorial construction): the passage from a symmetric weak multicategory to a biprop is described at the level of objects and 1-cells but supplies no verification that the induced symmetry isomorphisms commute with the associators in the required diagrams; any mismatch would render the resulting structure not a biprop.
[§4] §4 (multifunctor case): the claim that symmetric weak multifunctors induce morphisms of biprops likewise lacks an explicit check that the induced 2-cell data preserve the tensor coherence; this step is load-bearing for the functoriality assertion.

minor comments (2)

[§2] Notation for the free monoid on objects is introduced without a reference to the standard construction in the literature on coloured operads or props.
[Abstract] The abstract states the main theorem but does not indicate where in the text the coherence verifications appear; a forward reference would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness in the verifications. We have revised the paper to include the requested details on the constructions of the 2-cells and the coherence checks. Our responses to the major comments follow.

read point-by-point responses

Referee: [Abstract, §2] Abstract and §2 (definition of biprop): the claim that the induced 1-cell and 2-cell data satisfy all bicategory axioms plus the symmetric strict tensor coherence diagrams is asserted without exhibiting the explicit associators, unitors, or braiding 2-cells derived from the weak multicategory composition, nor any check that they obey the pentagon, triangle, or hexagon identities.

Authors: We agree that the original §2 presented the induced data at a high level. The revised manuscript adds an explicit subsection constructing the associators, unitors, and braiding 2-cells directly from the weak composition and symmetry operations of the multicategory. We then verify the pentagon, triangle, and hexagon identities by reducing them to the corresponding coherence axioms already present in the definition of a symmetric weak multicategory. revision: yes
Referee: [§3] §3 (functorial construction): the passage from a symmetric weak multicategory to a biprop is described at the level of objects and 1-cells but supplies no verification that the induced symmetry isomorphisms commute with the associators in the required diagrams; any mismatch would render the resulting structure not a biprop.

Authors: The revised §3 now contains a direct verification that the symmetry isomorphisms commute with the associators. The argument proceeds by chasing the relevant diagrams using the naturality of the symmetry with respect to multicategory composition together with the coherence conditions already satisfied by the weak multicategory. revision: yes
Referee: [§4] §4 (multifunctor case): the claim that symmetric weak multifunctors induce morphisms of biprops likewise lacks an explicit check that the induced 2-cell data preserve the tensor coherence; this step is load-bearing for the functoriality assertion.

Authors: We have expanded §4 to include the explicit verification that the 2-cells induced by a symmetric weak multifunctor preserve all tensor coherence diagrams. This check uses the preservation properties of the multifunctor with respect to composition and symmetry, thereby confirming that the construction is functorial. revision: yes

Circularity Check

0 steps flagged

No circularity; explicit construction from weak multicategories to biprops is independent

full rationale

The paper defines biprops as bicategories whose objects form a free monoid equipped with symmetric strict tensor-like structure, then proves an explicit functorial construction sending symmetric weak multicategories to biprops (and multifunctors to morphisms). No equations reduce a derived quantity to a fitted input by construction, no self-definitional loops appear, and no load-bearing self-citations or uniqueness theorems imported from the author's prior work are invoked to force the result. The derivation consists of direct verification of bicategory axioms and coherence diagrams from the given weak multi-composition data, rendering the central claim self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Only the abstract is available, so the ledger records the minimal background assumptions needed to state the claim.

axioms (2)

standard math Bicategories exist and can have objects forming a free monoid.
Standard background in category theory.
domain assumption A structure resembling a symmetric strict tensor product can be defined coherently on such bicategories.
This is the core of the new definition of biprop.

invented entities (1)

biprop no independent evidence
purpose: A bicategory with free-monoid objects and symmetric tensor-like structure that generalises coloured props and symmetric weak multicategories.
Newly introduced in the paper.

pith-pipeline@v0.9.0 · 5349 in / 1291 out tokens · 51395 ms · 2026-05-10T07:13:43.713309+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Bartlett, Quasistrict symmetric monoidal 2-categories via wire diagrams , 2014, arXiv:1409.2148

[Bar14] Bruce H. Bartlett, Quasistrict symmetric monoidal 2-categories via wire diagrams , 2014, arXiv:1409.2148. [B´ en67] Jean B´ enabou,Introduction to bicategories , Lecture Notes in Mathematics, vol. 47,

work page arXiv 2014
[2]

Springer-Verlag, New York, 1967, pp. 1–77. [HR15] Philip Hackney and Marcy Robertson, On the category of props , Appl. Categ. Struct. 23 (2015), no. 4, 543–573, doi:10.1007/s10485-014-9369-4, arXiv:1207.2773. 38 [JY21] Niles Johnson and Donald Yau, 2-dimensional categories, Oxford University Press, Oxford, 2021, doi:10.1093/oso/9780198871378.001.0001, arX...

work page doi:10.1007/s10485-014-9369-4 1967