Pith. sign in

REVIEW 1 cited by

Effectuses in Categorical Quantum Foundations

Not yet reviewed by Pith; the record is open.

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

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 1910.12198 v1 pith:IXYQ4X37 submitted 2019-10-27 quant-ph cs.LOmath.CT

Effectuses in Categorical Quantum Foundations

Kenta Cho This is my paper
classification quant-ph cs.LOmath.CT
keywords theorycategoricaleffectusesquantumapproachapproachesaxiomaticcomprehensive
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with various other topics and approaches.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. Convex Biproducts, Stochastic Matrices and Tape Diagrams

    cs.LO 2026-07 accept novelty 7.0

    Convex biproducts free-generate substochastic matrix categories isomorphic to probabilistic tape diagrams, giving a complete axiomatisation of probabilistic Boolean circuits.