Pith. sign in

REVIEW 3 cited by

Cornering Optics

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 2205.00842 v2 pith:62YV45HD submitted 2022-05-02 math.CT cs.LO

Guillaume Boisseau (University of Oxford) , Chad Nester (Tallinn University of Technology) , Mario Román (Tallinn University of Technology) This is my paper
classification math.CTcs.LO
keywords categorycorneringfreeopticscombdiagramsmonoidalwork
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free cornering of a monoidal category is a natural setting in which to work with comb diagrams over that category. The free cornering admits an intuitive graphical calculus, which in light of our work may be used to reason about optics and comb diagrams.

Discussion (0). Sign in to comment.

Forward citations

Cited by 3 Pith papers

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

  1. Supermaps on generalised theories

    quant-ph 2026-02 unverdicted novelty 8.0 of 10

    A Yoneda lemma for categorical supermaps gives a concrete representation via channel-state duality whenever the theory has it, yielding stable definitions for boxworld and real quantum theory.

  2. Supermaps on generalised theories

    quant-ph 2026-02 conditional novelty 7.0 of 10

    Categorical supermaps on any generalised theory with channel-state duality are exactly CJ-supermaps, recovering classical, quantum, and NSWSE-Boxworld supermaps.

  3. Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension

    quant-ph 2022-07 unverdicted novelty 7.0 of 10

    Defines polyslot pslot[C] and srep[C] constructions on symmetric monoidal categories that reconstruct unitary supermaps and forbid time-loops in composition, with equivalence shown on path-contraction groupoids.

Pith tools