Pith. sign in

REVIEW 1 cited by

The operadic theory of convexity

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2403.18102 v1 pith:VQLI3GAK submitted 2024-03-26 math.CT cs.ITmath.ITquant-ph

classification math.CTcs.ITmath.ITquant-ph
keywords monoidalconstructionconvexconvexitysetstheoryalgebrasapply
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal categories, we state and prove a Grothendieck construction for lax $\scr{O}$-monoidal functors into convex sets. We apply this construction to the categorical characterization of entropy of Baez, Fritz, and Leinster, and to the study of quantum contextuality in the framework of simplicial distributions.

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

  1. The geometry of simplicial distributions on suspension scenarios

    quant-ph 2024-12 conditional novelty 7.0 of 10

    For a connected measurement space X, the non-signaling polytope of the cone scenario is the join of m copies of the original polytope, and the suspension scenario is characterized by a pullback of two such joins.

Pith tools