Cornering Optics

DOI10.4204/EPTCS.380.6arXiv2205.00842OpenAlexW4385342946MaRDI QIDQ6150147FDOQ6150147

Authors: Chad Nester, Mario Román 

Publication date: 5 March 2024

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

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.

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Framed bicategories and monoidal fibrations
• Coalgebras and cartesian categories
• Causal inference via string diagram surgery
• Model structures on the category of small double categories
• Compositional Game Theory
• Combinators for bi-directional tree transformations
• Title not available (Why is that?)
• Open Diagrams via Coend Calculus

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)