10 papers
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…
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 tangen…
Generalized Inverses of Quantum Channels: a categorical perspective
Robin Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan
A quantum channel is defined as being completely positive (CP) and trace preserving (TP). While not every quantum channel is invertible or reversible, every quantum channel admits…
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…
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…