2 citations · 3 across the 12 of their papers we have counts for
7 papers · 1 filter
Local categories: a new framework for partiality
Marcello Lanfranchi, Jean-Simon Pacaud Lemay
Restriction categories provide a categorical framework for partiality. In this paper, we introduce three new categorical theories for partiality: local categories, partial categori…
From Abelianization to Tangent Categories
Sacha Ikonicoff, Jean-Simon Pacaud Lemay, Tim Van der Linden
A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of…
Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories
Aaron Biggin, Jean-Simon Pacaud Lemay
Reverse differentiation is an essential operation for automatic differentiation. Cartesian reverse differential categories axiomatize reverse differentiation in a categorical frame…
Cartesian Linearly Distributive Categories: Revisited
Rose Kudzman-Blais, Jean-Simon Pacaud Lemay
Linearly distributive categories (LDC) were introduced by Cockett and Seely to provide alternative categorical semantics for multiplicative linear logic. In contrast to Barr's -…
Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories
Matthew Di Meglio, Chris Heunen, Jean-Simon Pacaud Lemay +2
Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued…
Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories
Jean-Simon Pacaud Lemay, Geoff Vooys
In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a…
Representable tangent structures for affine schemes
Marcello Lanfranchi, Jean-Simon Pacaud Lemay
The category of affine schemes is a tangent category whose tangent bundle functor is induced by Kähler differentials, providing a direct link between algebraic geometry and tangent…