Jean-Simon Lemay

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Moore-Penrose Dagger Categories.

[BibT_eX]

[DOI]

Robin Cockett

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Cartesian Differential Kleisli Categories.

[BibT_eX]

[DOI]

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Classical Distributive Restriction Categories.

[BibT_eX]

[DOI]

Robin Cockett

CoRR, 2023

Graded Differential Categories and Graded Differential Linear Logic.

[BibT_eX]

[DOI]

Jean-Baptiste Vienney

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Taylor Expansion as a Monad in Models of DiLL.

[BibT_eX]

[DOI]

Marie Kerjean

LICS, 2023

2022

Monoidal reverse differential categories.

[BibT_eX]

[DOI]

Jonathan Gallagher

Dorette Pronk

Math. Struct. Comput. Sci., November, 2022

2021

Cartesian Difference Categories.

[BibT_eX]

[DOI]

Mario Alvarez-Picallo

Log. Methods Comput. Sci., 2021

Jacobians and Gradients for Cartesian Differential Categories.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Exponential Functions in Cartesian Differential Categories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2021

Cartesian Differential Categories as Skew Enriched Categories.

[BibT_eX]

[DOI]

Richard Garner

Appl. Categorical Struct., 2021

Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2021

Coderelictions for Free Exponential Modalities.

[BibT_eX]

[DOI]

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Convenient antiderivatives for differential linear categories.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2020

Linearizing Combinators.

[BibT_eX]

[DOI]

CoRR, 2020

Cartesian Difference Categories: Extended Report.

[BibT_eX]

[DOI]

Mario Alvarez-Picallo

CoRR, 2020

Differential Categories Revisited.

[BibT_eX]

[DOI]

Richard Blute

Robert A. G. Seely

Appl. Categorical Struct., 2020

Tangent Categories from the Coalgebras of Differential Categories.

[BibT_eX]

[DOI]

Rory B. B. Lucyshyn-Wright

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Reverse Derivative Categories.

[BibT_eX]

[DOI]

Jonathan Gallagher

Benjamin MacAdam

Gordon D. Plotkin

Dorette Pronk

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Integral categories and calculus categories.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Why FHilb is Not an Interesting (Co)Differential Category.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

Higher-Order Distributions for Differential Linear Logic.

[BibT_eX]

[DOI]

Marie Kerjean

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Cartesian Integral Categories and Contextual Integral Categories.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

There Is Only One Notion of Differentiation.

[BibT_eX]

[DOI]