Jean-Simon Lemay

CoRR, March, 2026

Additive Enrichment from Coderelictions.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2026

2025

Itegories.

[BibT_eX]

[DOI]

CoRR, April, 2025

A Tangent Category Perspective on Connections in Algebraic Geometry.

[BibT_eX]

[DOI]

Elias Vandenberg

Appl. Categorical Struct., February, 2025

Foreword for the special issue "Differential Structures in Computer Science and Mathematics".

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2025

Dagger-Drazin Inverses.

[BibT_eX]

[DOI]

Priyaa Varshinee Srinivasan

Proceedings of the 22nd International Conference on Quantum Physics and Logic, 2025

Independent States are Orthogonal: A Categorical Framework to Treat Probability Geometrically.

[BibT_eX]

[DOI]

Proceedings of the Geometric Science of Information - 7th International Conference, 2025

2024

Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories.

[BibT_eX]

[DOI]

Aaron Biggin

Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, September, 2024

A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott.

[BibT_eX]

[DOI]

ACM SIGLOG News, April, 2024

An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence.

[BibT_eX]

[DOI]

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2024

Combining fixpoint and differentiation theory.

[BibT_eX]

[DOI]

Zeinab Galal

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Laplace Distributors and Laplace Transformations for Differential Categories.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Reverse Tangent Categories.

[BibT_eX]

[DOI]

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

2023

Moore-Penrose Dagger Categories.

[BibT_eX]

[DOI]

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]

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

Traced Monads and Hopf Monads.

[BibT_eX]

[DOI]

Masahito Hasegawa

Compositionality, 2023

Taylor Expansion as a Monad in Models of DiLL.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Monoidal reverse differential categories.

[BibT_eX]

[DOI]

Jonathan Gallagher

Dorette Pronk

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

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

Cartesian Difference Categories.

[BibT_eX]

[DOI]

Mario Alvarez-Picallo

Proceedings of the Foundations of Software Science and Computation Structures, 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

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]

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]

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Integral Categories and Calculus Categories.

[BibT_eX]

[DOI]