{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T04:27:42Z","timestamp":1691555262827},"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.8","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T11:58:01Z","timestamp":1690545481000},"page":"128-144","source":"Crossref","is-referenced-by-count":0,"title":["Dependent Optics"],"prefix":"10.4204","volume":"380","author":[{"given":"Pietro","family":"Vertechi","sequence":"first","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2023,8,7]]},"reference":[{"key":"benabou1967introduction","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0074299","article-title":"Introduction to bicategories","volume-title":"Reports of the midwest category seminar","author":"B\u00e9nabou","year":"1967"},{"key":"bohannon2006relational","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/1142351.1142399","article-title":"Relational lenses: a language for updatable views","volume-title":"Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"Bohannon","year":"2006"},{"key":"braithwaite2021fibre","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2112.11145","article-title":"Fibre optics","author":"Braithwaite","year":"2021","journal-title":"arXiv preprint arXiv:2112.11145"},{"key":"capucci2022seeing","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2204.10708","article-title":"Seeing double through dependent optics","author":"Capucci","year":"2022","journal-title":"arXiv preprint arXiv:2204.10708"},{"key":"capucci2021translating","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2105.06763","article-title":"Translating extensive form games to open games with agency","author":"Capucci","year":"2021","journal-title":"arXiv preprint arXiv:2105.06763"},{"issue":"2","key":"carboni1993introduction","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","article-title":"Introduction to extensive and distributive categories","volume":"84","author":"Carboni","year":"1993","journal-title":"Journal of Pure and Applied Algebra"},{"key":"clarke2020profunctor","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2001.07488","article-title":"Profunctor optics, a categorical update","author":"Clarke","year":"2020","journal-title":"arXiv preprint arXiv:2001.07488"},{"key":"ghani2018compositional","doi-asserted-by":"publisher","first-page":"472","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":"1","key":"johnson2012lenses","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1017\/S0960129511000442","article-title":"Lenses, fibrations and universal translations","volume":"22","author":"Johnson","year":"2012","journal-title":"Mathematical Structures in Computer Science"},{"key":"johnstone2002sketches","volume-title":"Sketches of an Elephant: A Topos Theory Compendium: Volume 2","volume":"2","author":"Johnstone","year":"2002"},{"key":"lack20102","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-1-4419-1524-5_4","article-title":"A 2-categories companion","volume-title":"Towards higher categories","author":"Lack","year":"2010"},{"issue":"3","key":"lack2005adhesive","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","article-title":"Adhesive and quasiadhesive categories","volume":"39","author":"Lack","year":"2005","journal-title":"RAIRO-Theoretical Informatics and Applications"},{"key":"marty2009ouverts","volume-title":"Des ouverts Zariski et des morphismes lisses en g\u00e9om\u00e9trie relative","author":"Marty","year":"2009"},{"key":"milewski2022compound","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2203.12022","article-title":"Compound Optics","author":"Milewski","year":"2022","journal-title":"arXiv preprint arXiv:2203.12022"},{"issue":"31","key":"moeller2020monoidal","first-page":"1159","article-title":"Monoidal Grothendieck construction","volume":"35","author":"Moeller","year":"2020","journal-title":"Theory and Applications of Categories"},{"key":"pastro2007doubles","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.0711.1859","article-title":"Doubles for monoidal categories","author":"Pastro","year":"2007","journal-title":"arXiv preprint arXiv:0711.1859"},{"key":"riley2018categories","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1809.00738","article-title":"Categories of optics","author":"Riley","year":"2018","journal-title":"arXiv preprint arXiv:1809.00738"},{"key":"spivak2019generalized","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1908.02202","article-title":"Generalized Lens Categories via functors C^opCat","author":"Spivak","year":"2019","journal-title":"arXiv preprint arXiv:1908.02202"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T18:35:37Z","timestamp":1691519737000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2204.09547v4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.4204\/eptcs.380.8","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,7]]}}}