2 papers
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…
math.OA2023
Cartesian closed varieties II: links to algebra and self-similarity
Richard Garner
This paper is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of set…