Jean-Simon Pacaud Lemay

39 papers A* 2B 11Journal 21Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Additive Enrichment from Coderelictions.
Log. Methods Comput. Sci.
Jean-Simon Pacaud Lemay
2026 J jnl
Proceedings Eighth International Conference on Applied Category Theory.
CoRR
Amar Hadzihasanovic, Jean-Simon Pacaud Lemay
2025 J jnl
A Tangent Category Perspective on Connections in Algebraic Geometry.
Appl. Categorical Struct.
Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay, Elias Vandenberg
2025 — conf
Dagger-Drazin Inverses.
QPL
J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan
2025 J jnl
Foreword for the special issue "Differential Structures in Computer Science and Mathematics".
Math. Struct. Comput. Sci.
J. Robin B. Cockett, Geoff S. H. Cruttwell, Marie Kerjean, Jean-Simon Pacaud Lemay
2025 J jnl
Itegories.
CoRR
J. Robin B. Cockett, Jean-Simon Pacaud Lemay
2024 J jnl
A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott.
ACM SIGLOG News
Jean-Simon Pacaud Lemay
2024 B conf
An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence.
MFPS
Jean-Simon Pacaud Lemay
2024 A* conf
Combining fixpoint and differentiation theory.
LICS
Zeinab Galal, Jean-Simon Pacaud Lemay
2024 J jnl
Combining fixpoint and differentiation theory.
CoRR
Zeinab Galal, Jean-Simon Pacaud Lemay
2024 B conf
Laplace Distributors and Laplace Transformations for Differential Categories.
FSCD
Marie Kerjean, Jean-Simon Pacaud Lemay
2024 — conf
Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories.
ACT
Aaron Biggin, Jean-Simon Pacaud Lemay
2024 B conf
Reverse Tangent Categories.
CSL
Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay
2023 B conf
Cartesian Differential Kleisli Categories.
MFPS
Jean-Simon Pacaud Lemay
2023 J jnl
Classical Distributive Restriction Categories.
CoRR
J. Robin B. Cockett, Jean-Simon Pacaud Lemay
2023 B conf
Graded Differential Categories and Graded Differential Linear Logic.
MFPS
Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney
2023 — conf
Moore-Penrose Dagger Categories.
QPL
J. Robin B. Cockett, Jean-Simon Pacaud Lemay
2023 A* conf
Taylor Expansion as a Monad in Models of DiLL.
LICS
Marie Kerjean, Jean-Simon Pacaud Lemay
2023 J jnl
Traced Monads and Hopf Monads.
Compositionality
Masahito Hasegawa, Jean-Simon Pacaud Lemay
2022 J jnl
Monoidal Reverse Differential Categories.
CoRR
Geoffrey S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
2022 J jnl
Monoidal reverse differential categories.
Math. Struct. Comput. Sci.
Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
2021 J jnl
Cartesian Difference Categories.
Log. Methods Comput. Sci.
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2021 J jnl
Cartesian Differential Categories as Skew Enriched Categories.
Appl. Categorical Struct.
Richard Garner, Jean-Simon Pacaud Lemay
2021 B conf
Coderelictions for Free Exponential Modalities.
CALCO
Jean-Simon Pacaud Lemay
2021 J jnl
Exponential Functions in Cartesian Differential Categories.
Appl. Categorical Struct.
Jean-Simon Pacaud Lemay
2021 — conf
Jacobians and Gradients for Cartesian Differential Categories.
ACT
Jean-Simon Pacaud Lemay
2020 B conf
Cartesian Difference Categories.
FoSSaCS
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2020 J jnl
Cartesian Difference Categories.
CoRR
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2020 J jnl
Cartesian Difference Categories: Extended Report.
CoRR
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2020 J jnl
Convenient antiderivatives for differential linear categories.
Math. Struct. Comput. Sci.
Jean-Simon Pacaud Lemay
2020 J jnl
Differential Categories Revisited.
Appl. Categorical Struct.
Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely
2020 J jnl
Linearizing Combinators.
CoRR
J. Robin B. Cockett, Jean-Simon Pacaud Lemay
2020 B conf
Reverse Derivative Categories.
CSL
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
2020 B conf
Tangent Categories from the Coalgebras of Differential Categories.
CSL
J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright
2019 B conf
Higher-Order Distributions for Differential Linear Logic.
FoSSaCS
Marie Kerjean, Jean-Simon Pacaud Lemay
2019 J jnl
Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories.
Log. Methods Comput. Sci.
Jean-Simon Pacaud Lemay
2019 J jnl
Reverse derivative categories.
CoRR
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
2019 — conf
Why FHilb is Not an Interesting (Co)Differential Category.
QPL
Jean-Simon Pacaud Lemay
2018 B conf
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories.
FSCD
Jean-Simon Pacaud Lemay