3 papers
math.CT2026
Additive Enrichment from Coderelictions
Jean-Simon Pacaud Lemay
Differential linear categories provide the categorical semantics of the multiplicative and exponential fragments of Differential Linear Logic. Briefly, a differential linear catego…
math.CT2025
From Moore-Penrose to Markov via Gauss
Cole Comfort, Jean-Simon Pacaud Lemay
Markov categories are the central framework for categorical probability theory. Many important concepts from probability theory can be formalized in terms of Markov categories. In…
math.CT2025
Free differential modalities
Richard Garner, Jean-Simon Pacaud Lemay
Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differentia…