{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,27]],"date-time":"2024-01-27T23:17:07Z","timestamp":1706397427242},"reference-count":18,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.380.6","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T11:58:01Z","timestamp":1690545481000},"page":"97-110","source":"Crossref","is-referenced-by-count":1,"title":["Cornering Optics"],"prefix":"10.4204","volume":"380","author":[{"given":"Guillaume","family":"Boisseau","sequence":"first","affiliation":[{"name":"University of Oxford"}]},{"given":"Chad","family":"Nester","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology"}]},{"given":"Mario","family":"Rom\u00e1n","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology"}]}],"member":"2720","published-online":{"date-parts":[[2023,8,7]]},"reference":[{"key":"Boisseau2020","series-title":"LIPIcs","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSCD.2020.17","article-title":"String Diagrams for Optics","volume-title":"5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)","volume":"167","author":"Boisseau","year":"2020"},{"issue":"6","key":"Chiribella2008","doi-asserted-by":"publisher","DOI":"10.1103\/physrevlett.101.060401","article-title":"Quantum Circuit Architecture","volume":"101","author":"Chiribella","year":"2008","journal-title":"Physical Review Letters"},{"key":"Clarke2020","article-title":"Profunctor optics, a categorical update","author":"Clarke","year":"2020"},{"issue":"4","key":"Fio08","doi-asserted-by":"publisher","first-page":"1855","DOI":"10.2140\/agt.2008.8.1855","article-title":"Model Structures on the Category of Small Double Categories","volume":"8","author":"Fiore","year":"2008","journal-title":"Algebraic and Geometric Topology"},{"key":"Fong2019Backprop","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS.2019.8785665","article-title":"Backprop as functor: A compositional perspective on supervised learning","volume-title":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","author":"Fong","year":"2019"},{"key":"Foster2005","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/1040305.1040325","article-title":"Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem","volume-title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005","author":"Foster","year":"2005"},{"issue":"7","key":"Fox76","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1080\/00927877608822127","article-title":"Coalgebras and cartesian categories","volume":"4","author":"Fox","year":"1976","journal-title":"Communications in Algebra"},{"key":"Ghani2018","series-title":"LICS '18","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209165","article-title":"Compositional Game Theory","volume-title":"Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"Ghani","year":"2018"},{"issue":"5","key":"Jacobs2021","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1017\/S096012952100027X","article-title":"Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals","volume":"31","author":"Jacobs","year":"2021","journal-title":"Math. Struct. Comput. Sci."},{"key":"Kissinger2017","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS.2017.8005095","article-title":"A categorical semantics for causal structure","volume-title":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","author":"Kissinger","year":"2017"},{"key":"Mac71","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"Lane","year":"1971"},{"key":"Mye16","article-title":"String Diagrams For Double Categories and Equipments","author":"Myers","year":"2016"},{"key":"Nes21","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-030-78142-2_13","article-title":"The Structure of Concurrent Process Histories","volume-title":"International Conference on Coordination Models and Languages","author":"Nester","year":"2021"},{"key":"Oles1982","volume-title":"A Category-Theoretic Approach to the Semantics of Programming Languages","author":"Oles","year":"1982"},{"key":"Paiva1989","first-page":"47","article-title":"The dialectica categories","volume":"92","author":"de Paiva","year":"1989","journal-title":"Categories in Computer Science and Logic"},{"issue":"2","key":"Pickering2017","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2017\/1\/7","article-title":"Profunctor Optics: Modular Data Accessors","volume":"1","author":"Pickering","year":"2017","journal-title":"Art Sci. Eng. Program."},{"key":"Roman2021","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.333.5","article-title":"Open Diagrams via Coend Calculus","volume":"333","author":"Rom\u00e1n","year":"2021","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"18","key":"Shu08","first-page":"650","article-title":"Framed Bicategories and Monoidal Fibrations","volume":"20","author":"Shulman","year":"2008","journal-title":"Theory and Applications of Categories"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T18:35:23Z","timestamp":1691519723000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2205.00842v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.4204\/eptcs.380.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,7]]}}}