research
∙
08/31/2023
Moore-Penrose Dagger Categories
The notion of a Moore-Penrose inverse (M-P inverse) was introduced by Mo...
share
research
∙
08/13/2023
Cartesian Differential Kleisli Categories
Cartesian differential categories come equipped with a differential comb...
research
∙
05/25/2023
Classical Distributive Restriction Categories
In the category of sets and partial functions, 𝖯𝖠𝖱, while the disjoint u...
research
∙
03/19/2023
Graded Differential Categories and Graded Differential Linear Logic
In Linear Logic (𝖫𝖫), the exponential modality ! brings forth a distinct...
research
∙
11/03/2022
Jacobians and Gradients for Cartesian Differential Categories
Cartesian differential categories come equipped with a differential comb...
research
∙
03/23/2022
Monoidal Reverse Differential Categories
Cartesian reverse differential categories (CRDCs) are a recently defined...
research
∙
11/25/2020
Cartesian Difference Categories
Cartesian differential categories are categories equipped with a differe...
research
∙
10/29/2020
Linearizing Combinators
In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that t...
research
∙
05/01/2020
Why FHilb is Not an Interesting (Co)Differential Category
Differential categories provide an axiomatization of the basics of diffe...
research
∙
02/04/2020
Cartesian Difference Categories: Extended Report
Cartesian differential categories are categories equipped with a differe...
research
∙
10/15/2019