{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:19Z","timestamp":1750220179001,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["670624"],"award-info":[{"award-number":["670624"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3532488","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Functorial Excursion Between Algebraic Geometry and Linear Logic"],"prefix":"10.1145","author":[{"given":"Paul-Andr\u00e9","family":"Melli\u00e8s","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, Inria, France"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Matthieu Anel and Andr\u00e9 Joyal. 2013. Sweedler theory of (co)algebras and the bar-cobar constructions. (2013). https:\/\/arxiv.org\/abs\/1309.6952.  Matthieu Anel and Andr\u00e9 Joyal. 2013. Sweedler theory of (co)algebras and the bar-cobar constructions. (2013). https:\/\/arxiv.org\/abs\/1309.6952."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(74)90161-6"},{"key":"e_1_3_2_1_3_1","volume-title":"8th International Workshop, CSL \u201994(Lecture Notes in Computer Science, Vol.\u00a0933)","author":"Benton Nick","year":"1994","unstructured":"Nick Benton . 1994 . A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models. In Computer Science Logic , 8th International Workshop, CSL \u201994(Lecture Notes in Computer Science, Vol.\u00a0933) . Springer Verlag. Nick Benton. 1994. A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models. In Computer Science Logic, 8th International Workshop, CSL \u201994(Lecture Notes in Computer Science, Vol.\u00a0933). Springer Verlag."},{"key":"e_1_3_2_1_4_1","unstructured":"James Clift and Daniel Murfet. 2017. Cofree coalgebras and differential linear logic. (2017). https:\/\/arxiv.org\/abs\/1701.01285.  James Clift and Daniel Murfet. 2017. Cofree coalgebras and differential linear logic. (2017). https:\/\/arxiv.org\/abs\/1701.01285."},{"key":"e_1_3_2_1_5_1","unstructured":"Michel Demazure and Peter Gabriel. 1980. Introduction to Algebraic Geometry and Algebraic Groups. Mathematics Studies Vol.\u00a039. North Holland.  Michel Demazure and Peter Gabriel. 1980. Introduction to Algebraic Geometry and Algebraic Groups. Mathematics Studies Vol.\u00a039. North Holland."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1972.11993142"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129516000372"},{"volume-title":"The Geometry of Schemes. Number 197 in Graduate Texts in Mathematics","author":"Eisenbud David","key":"e_1_3_2_1_8_1","unstructured":"David Eisenbud and Joe Harris . 1991. The Geometry of Schemes. Number 197 in Graduate Texts in Mathematics . Springer Verlag . David Eisenbud and Joe Harris. 1991. The Geometry of Schemes. Number 197 in Graduate Texts in Mathematics. Springer Verlag."},{"volume-title":"Vol.\u00a0123","author":"Fantechi Barbara","key":"e_1_3_2_1_9_1","unstructured":"Barbara Fantechi , Lothar G\u00f6tsche , Luc Illusie , Steven\u00a0 L. Kleiman , Nitin Nitsure , and Angelo Vistoli . 2005. Fundamental Algebraic Geometry. Mathematical Surveys and Monographs , Vol.\u00a0123 . American Mathematical Society . Barbara Fantechi, Lothar G\u00f6tsche, Luc Illusie, Steven\u00a0L. Kleiman, Nitin Nitsure, and Angelo Vistoli. 2005. Fundamental Algebraic Geometry. Mathematical Surveys and Monographs, Vol.\u00a0123. American Mathematical Society."},{"key":"e_1_3_2_1_10_1","first-page":"107","article-title":"Isomorphisms between left and right adjoints","volume":"11","author":"Fausk Halvard","year":"2003","unstructured":"Halvard Fausk , Po Hu , and J.\u00a0 Peter May . 2003 . Isomorphisms between left and right adjoints . Theory and Applications of Categories 11 (2003), 107 \u2013 131 . Halvard Fausk, Po Hu, and J.\u00a0Peter May. 2003. Isomorphisms between left and right adjoints. Theory and Applications of Categories 11 (2003), 107\u2013131.","journal-title":"Theory and Applications of Categories"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684778"},{"volume-title":"Vol.\u00a0224","author":"Grothendieck Alexander","key":"e_1_3_2_1_12_1","unstructured":"Alexander Grothendieck . 1971. Rev\u00eatements \u00e9tales et Groupe Fondamental. Lecture Notes in Mathematics , Vol.\u00a0224 . Springer Verlag . Alexander Grothendieck. 1971. Rev\u00eatements \u00e9tales et Groupe Fondamental. Lecture Notes in Mathematics, Vol.\u00a0224. Springer Verlag."},{"volume-title":"Th\u00e9orie des topos et cohomologie \u00e9tale des sch\u00e9mas. Vol.\u00a0269","author":"Grothendieck Alexander","key":"e_1_3_2_1_13_1","unstructured":"Alexander Grothendieck . 1972. Th\u00e9orie des topos et cohomologie \u00e9tale des sch\u00e9mas. Vol.\u00a0269 . Springer Verlag . Alexander Grothendieck. 1972. Th\u00e9orie des topos et cohomologie \u00e9tale des sch\u00e9mas. Vol.\u00a0269. Springer Verlag."},{"volume-title":"Vol.\u00a01977","author":"Hartshorne Robin","key":"e_1_3_2_1_14_1","unstructured":"Robin Hartshorne . 1977. Algebraic Geometry . Graduate Texts in Mathematics , Vol.\u00a01977 . Springer Verlag . Robin Hartshorne. 1977. Algebraic Geometry. Graduate Texts in Mathematics, Vol.\u00a01977. Springer Verlag."},{"volume-title":"Foundations of Grothendieck Duality for Diagrams of Schemes(Lecture Notes in Mathematics, Vol.\u00a01960)","author":"Hashimoto Mitsuyasu","key":"e_1_3_2_1_15_1","unstructured":"Mitsuyasu Hashimoto . 2009. Equivariant Twisted Inverses . In Foundations of Grothendieck Duality for Diagrams of Schemes(Lecture Notes in Mathematics, Vol.\u00a01960) . Springer Verlag , 261\u2013418. Mitsuyasu Hashimoto. 2009. Equivariant Twisted Inverses. In Foundations of Grothendieck Duality for Diagrams of Schemes(Lecture Notes in Mathematics, Vol.\u00a01960). Springer Verlag, 261\u2013418."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1112\/plms.12064"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00241-9"},{"volume-title":"Th\u00e9orie des Intersections et Th\u00e9or\u00e8me de Riemann-Roch. Vol.\u00a0225","author":"Illusie Luc","key":"e_1_3_2_1_18_1","unstructured":"Luc Illusie . 1971. Th\u00e9orie des Intersections et Th\u00e9or\u00e8me de Riemann-Roch. Vol.\u00a0225 . Springer Verlag , Chapter Existence de r\u00e9solutions globales, 160\u2013222. Luc Illusie. 1971. Th\u00e9orie des Intersections et Th\u00e9or\u00e8me de Riemann-Roch. Vol.\u00a0225. Springer Verlag, Chapter Existence de r\u00e9solutions globales, 160\u2013222."},{"key":"e_1_3_2_1_19_1","unstructured":"Anders Kock. 2015. The dual fibration in elementary terms. (2015). https:\/\/arxiv.org\/abs\/1501.01947.  Anders Kock. 2015. The dual fibration in elementary terms. (2015). https:\/\/arxiv.org\/abs\/1501.01947."},{"volume-title":"Foundations of Grothendieck Duality for Diagrams of Schemes(Lecture Notes in Mathematics, Vol.\u00a01960)","author":"Lipman Joseph","key":"e_1_3_2_1_21_1","unstructured":"Joseph Lipman . 2009. Notes on Derived Functors and Grothendieck Duality . In Foundations of Grothendieck Duality for Diagrams of Schemes(Lecture Notes in Mathematics, Vol.\u00a01960) . Springer Verlag , 1\u2013259. Joseph Lipman. 2009. Notes on Derived Functors and Grothendieck Duality. In Foundations of Grothendieck Duality for Diagrams of Schemes(Lecture Notes in Mathematics, Vol.\u00a01960). Springer Verlag, 1\u2013259."},{"volume-title":"Derived algebraic geometry. Ph.\u00a0D. Dissertation","author":"Lurie Jacob","key":"e_1_3_2_1_22_1","unstructured":"Jacob Lurie . 2004. Derived algebraic geometry. Ph.\u00a0D. Dissertation . Massachusetts Institute of Technology . Jacob Lurie. 2004. Derived algebraic geometry. Ph.\u00a0D. Dissertation. Massachusetts Institute of Technology."},{"volume-title":"Sheaves in Geometry and Logic","author":"Mac\u00a0Lane Saunders","key":"e_1_3_2_1_23_1","unstructured":"Saunders Mac\u00a0Lane and Ieke Moerdijk . 1992. Sheaves in Geometry and Logic . Springer Verlag . Saunders Mac\u00a0Lane and Ieke Moerdijk. 1992. Sheaves in Geometry and Logic. Springer Verlag."},{"volume-title":"Two algebraic byways from differential equations: Gr\u00f6bner bases and quivers. Vol.\u00a028","author":"Malbos Philippe","key":"e_1_3_2_1_24_1","unstructured":"Philippe Malbos . 2020. Two algebraic byways from differential equations: Gr\u00f6bner bases and quivers. Vol.\u00a028 . Springer , Chapter Noncommutative linear rewriting: applications and generalizations. Philippe Malbos. 2020. Two algebraic byways from differential equations: Gr\u00f6bner bases and quivers. Vol.\u00a028. Springer, Chapter Noncommutative linear rewriting: applications and generalizations."},{"key":"e_1_3_2_1_25_1","unstructured":"Paul-Andr\u00e9 Melli\u00e8s. 2009. Categorical semantics of linear logic. Number\u00a027 in Panoramas et Synth\u00e8ses. Soci\u00e9t\u00e9 Math\u00e9matique de France 1 \u2013 196.  Paul-Andr\u00e9 Melli\u00e8s. 2009. Categorical semantics of linear logic. Number\u00a027 in Panoramas et Synth\u00e8ses. Soci\u00e9t\u00e9 Math\u00e9matique de France 1 \u2013 196."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676970"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934525"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Archana\u00a0S. Morye. 2012. Note on the Serre-Swan theorem. Mathematische Nachrichten(2012).  Archana\u00a0S. Morye. 2012. Note on the Serre-Swan theorem. Mathematische Nachrichten(2012).","DOI":"10.1002\/mana.200810263"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2015.05.012"},{"key":"e_1_3_2_1_30_1","unstructured":"nLab entry\u00a0on modules.2020. https:\/\/ncatlab.org\/nlab\/show\/module  nLab entry\u00a0on modules.2020. https:\/\/ncatlab.org\/nlab\/show\/module"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.2989\/16073606.2014.981736"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-016-9450-2"},{"key":"e_1_3_2_1_33_1","unstructured":"Urs Schreiber. 2014. Quantization via Linear homotopy types. arxiv:1402.7041\u00a0[math-ph]  Urs Schreiber. 2014. Quantization via Linear homotopy types. arxiv:1402.7041\u00a0[math-ph]"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969915"},{"key":"e_1_3_2_1_35_1","unstructured":"Thomas Streicher. 1999. Fibered Categories \u00e0 la Jean B\u00e9nabou. (1999). https:\/\/arxiv.org\/pdf\/1801.02927.pdf.  Thomas Streicher. 1999. Fibered Categories \u00e0 la Jean B\u00e9nabou. (1999). https:\/\/arxiv.org\/pdf\/1801.02927.pdf."},{"key":"e_1_3_2_1_36_1","unstructured":"Moss\u00a0E. Sweedler. 1969. Hopf Algebras. W. A. Benjamin Inc. New York.  Moss\u00a0E. Sweedler. 1969. Hopf Algebras. W. A. Benjamin Inc. New York."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2008.03.011"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.4171\/EMSS\/4"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"Haifa Israel","acronym":"LICS '22"},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3532488","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3532488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:09Z","timestamp":1750186929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3532488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":37,"alternative-id":["10.1145\/3531130.3532488","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3532488","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}