Cornering Optics

Chad Nester (Tallinn University of Technology); Guillaume Boisseau (University of Oxford); Mario Rom\'an (Tallinn University of Technology)

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 1 Pith paper

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

Supermaps on generalised theories
quant-ph 2026-02 unverdicted novelty 8.0 of 10

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

Pith tools