Cornering Optics

DOI10.4204/EPTCS.380.6MaRDI QIDQ6150147zbMATH OpenOpenAlexFDO

Authors Chad Nester, Mario Román

Publication date 5 March 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2205.00842

Mathematics Subject Classification ID

Computer science (68-XX)

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.

Recommendations

• Coend Optics for Quantum Combs
• Bidirectional processes -- in category theory, physics, engineering, \dots
• Open diagrams via coend calculus
• Dependent Optics
• Profunctor optics, a categorical update

Cites work

• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A categorical semantics for causal structure
• Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
• Coalgebras and cartesian categories
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Compositional game theory
• Framed bicategories and monoidal fibrations
• Model structures on the category of small double categories
• Open diagrams via coend calculus

Cited in

(2)

• Coend Optics for Quantum Combs
• Dependent Optics

This page was built for publication: Cornering Optics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6150147)