@misc{cockett2019tangent, title = "Tangent Categories from the Coalgebras of Differential Categories", author = "Robin Cockett and Jean-Simon Pacaud Lemay and Rory B. B. Lucyshyn-Wright", year = "2019", } @misc{cockett2019reverse, title = "Reverse derivative categories", author = "Robin Cockett and Geoffrey Cruttwell and Jonathan Gallagher and Jean-Simon Pacaud Lemay and Benjamin MacAdam and Gordon Plotkin and Dorette Pronk", year = "2019", } @misc{lemay2019exponential, title = "Exponential Functions in Cartesian Differential Categories", author = "Jean-Simon Pacaud Lemay", year = "2019", } @misc{cockett2019differential, title = "Differential equations in a tangent category I: Complete vector fields, flows, and exponentials", author = "J. R. B. Cockett and G. S. H. Cruttwell and J. -S. P. Lemay", year = "2019", } @article{cruttwell2019integral, title = "Integral and differential structure on the free $ C\^{}$\{$$\backslash$infty$\}$ $-ring modality", author = "Cruttwell, GSH and Lemay, J-SP and Lucyshyn-Wright, RBB", year = "2019", journal = "arXiv preprint arXiv:1902.04555", } @article{lmcs:5895 TITLE = {{Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories}}, author = "Lemay, Jean-Simon Pacaud", year = "2019", journal = "{Logical Methods in Computer Science}", keywords = "Computer Science - Logic in Computer Science", month = "Nov", url = "https://lmcs.episciences.org/5895", volume = "{Volume 15, Issue 4}", } @article{Blute2019, title = "Differential Categories Revisited", author = "Blute, R. F. and Cockett, J. R. B. and Lemay, J.-S. P. and Seely, R. A. G.", year = "2019", issn = "1572-9095", journal = "Applied Categorical Structures", month = "Jul", url = "https://doi.org/10.1007/s10485-019-09572-y", doi = "10.1007/s10485-019-09572-y", } @inproceedings{10.1007/978-3-030-17127-8_19, title = "Higher-Order Distributions for Differential Linear Logic", author = "Kerjean, Marie and Pacaud Lemay, Jean-Simon", year = "2019", address = "Cham", booktitle = "Foundations of Software Science and Computation Structures", editor = "Boja{\'{n}}czyk, Miko{\l}aj and Simpson, Alex", isbn = "978-3-030-17127-8", pages = "330--347", publisher = "Springer International Publishing", } @article{cockett_lemay_2019, title = "Integral categories and calculus categories", author = "J. Robin B. Cockett and Jean-Simon Pacaud Lemay", year = "2019", journal = "Mathematical Structures in Computer Science", number = "2", pages = "243-308", publisher = "Cambridge University Press", url = "https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/integral-categories-and-calculus-categories/EA37ABD31DFFD8190D3092C05194B62E", volume = "29", doi = "10.1017/S0960129518000014", } @unpublished{kerjean:hal-01969262, title = "{Higher-order distributions for differential linear logic.}", author = "Kerjean, Marie and Lemay, Jean-Simon", year = "2019", month = "Jan", note = "working paper or preprint", url = "https://hal.inria.fr/hal-01969262", } @article{PACAUDLEMAY2019, title = "Differential algebras in codifferential categories", author = "Jean-Simon Pacaud Lemay", year = "2019", issn = "0022-4049", journal = "Journal of Pure and Applied Algebra", keywords = "Differential categories, Differential algebras, Hurwitz series rings, FaĆ  di Bruno formula", url = "http://www.sciencedirect.com/science/article/pii/S0022404919300131", doi = "https://doi.org/10.1016/j.jpaa.2019.01.005", } @article{lemay2018lifting, title = "Lifting Coalgebra Modalities and $$\backslash$mathsf $\{$MELL$\}$ $ Model Structure to Eilenberg-Moore Categories", author = "Jean{-}Simon Pacaud Lemay", year = "2018", journal = "arXiv preprint arXiv:1804.11116", url = "https://arxiv.org/abs/1804.11116v2", } @article{blute2018differential, title = "Differential Categories Revisited", author = "Richard F. Blute, J. Robin B. Cockett, R.A.G. Seely, and Jean-Simon Pacaud Lemay", year = "2018", journal = "arXiv preprint arXiv:1806.04804", url = "https://arxiv.org/abs/1806.04804v1", } @article{lemay2018convenient, title = "Convenient Antiderivatives For Differential Linear Categories", author = "Jean{-}Simon Pacaud Lemay", year = "2018", journal = "arXiv preprint arXiv:1808.08513", url = "https://arxiv.org/abs/1808.08513v1", } @inproceedings{DBLP:conf/rta/Lemay18, title = "Lifting Coalgebra Modalities and {IMELL} Model Structure to Eilenberg-Moore Categories", author = "Jean{-}Simon Pacaud Lemay", year = "2018", booktitle = "3rd International Conference on Formal Structures for Computation and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}", pages = "21:1--21:20", url = "https://doi.org/10.4230/LIPIcs.FSCD.2018.21", doi = "10.4230/LIPIcs.FSCD.2018.21", } @article{COCKETT201845, title = "Cartesian Integral Categories and Contextual Integral Categories", author = "J. Robin B. Cockett and Jean-Simon Pacaud Lemay", year = "2018", issn = "1571-0661", journal = "Electronic Notes in Theoretical Computer Science", keywords = "Integral categories, coalgebra modality, context, simple slice, coKleisli category", note = "Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)", pages = "45 - 72", url = "http://www.sciencedirect.com/science/article/pii/S1571066118300847", volume = "341", doi = "https://doi.org/10.1016/j.entcs.2018.11.004", } @article{lemay2018Faa, title = " A tangent category alternative to the Faa di Bruno construction ", author = "Lemay, Jean-Simon Pacaud", year = "2018", journal = "Theory and Applications of Categories", keywords = "Cartesian Differential Categories, Cofree Cartesian Differential Categories, Tangent Categories, Higher-Order Chain Rule", number = "35", pages = "1072--1110", url = "http://www.tac.mta.ca/tac/volumes/33/35/33-35abs.html", volume = "33", } @article{hasegawa2018linear, title = "Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads", author = "Hasegawa, Masahito and Lemay, Jean-Simon Pacaud", year = "2018", journal = "Theory and Applications of Categories", keywords = "monoidal categories, linearly distributive categories, $*$-autonomous categories, comonoidal monads, Hopf monads", number = "37", pages = "1145--1157", url = "http://www.tac.mta.ca/tac/volumes/33/37/33-37abs.html", volume = "33", } @inproceedings{cockett_et_al:LIPIcs:2017:7716, title = "{There Is Only One Notion of Differentiation}", author = "J. Robin B. Cockett and Jean-Simon Pacaud Lemay", year = "2017", address = "Dagstuhl, Germany", annote = "Keywords: Differential Categories, Linear Logic, Coalgebra Modalities, Bialgebra Modalities", booktitle = "2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)", editor = "Dale Miller", isbn = "978-3-95977-047-7", issn = "1868-8969", pages = "13:1--13:21", publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik", series = "Leibniz International Proceedings in Informatics (LIPIcs)", url = "http://drops.dagstuhl.de/opus/volltexte/2017/7716", volume = "84", doi = "10.4230/LIPIcs.FSCD.2017.13", } @inproceedings{cockett_et_al:LIPIcs:2017:7668, title = "{Integral Categories and Calculus Categories}", author = "Robin Cockett and Jean-Simon Pacaud Lemay", year = "2017", address = "Dagstuhl, Germany", annote = "Keywords: Differential Categories, Integral Categories, Calculus Categories", booktitle = "26th EACSL Annual Conference on Computer Science Logic (CSL 2017)", editor = "Valentin Goranko and Mads Dam", isbn = "978-3-95977-045-3", issn = "1868-8969", pages = "20:1--20:17", publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik", series = "Leibniz International Proceedings in Informatics (LIPIcs)", url = "http://drops.dagstuhl.de/opus/volltexte/2017/7668", volume = "82", doi = "10.4230/LIPIcs.CSL.2017.20", } @article{BAGNOL201629, title = "The Shuffle Quasimonad and Modules with Differentiation and Integration", author = "Marc Bagnol and Richard Blute and J. Robin B. Cockett and Jean-Simon Pacaud Lemay", year = "2016", issn = "1571-0661", journal = "Electronic Notes in Theoretical Computer Science", keywords = "Linear Logic, Differential Categories, Rota-Baxter Algebras", note = "The Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)", pages = "29 - 45", url = "http://www.sciencedirect.com/science/article/pii/S1571066116300779", volume = "325", doi = "https://doi.org/10.1016/j.entcs.2016.09.030", } @article{lemayfhilb, title = "Why FHilb is not an interesting (co) differential category", author = "Lemay, Jean-Simon Pacaud", journal = "To appear in the proceeding of QPL2019", }