4 papers
Proceedings Eighth International Conference on Applied Category Theory
Amar Hadzihasanovic, Jean-Simon Pacaud Lemay
The Eighth International Conference on Applied Category Theory took place at the University of Florida on June 2-6 2025. The conference consisted of 2 plenary invited talks, 28 con…
Cartesian differential categories as skew enriched categories
Richard Garner, Jean-Simon Pacaud Lemay
We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative m…
Properties and Characterisations of Cofree Cartesian Differential Categories
Jean-Simon Pacaud Lemay
Cartesian differential categories come equipped with a differential operator which formalises the total derivative from multivariable calculus. Cofree Cartesian differential catego…
Classical Distributive Restriction Categories
Robin Cockett, Jean-Simon Pacaud Lemay
In the category of sets and partial functions, , while the disjoint union is the usual categorical coproduct, the Cartesian product becomes a restri…