research
∙
08/31/2023
Moore-Penrose Dagger Categories
The notion of a Moore-Penrose inverse (M-P inverse) was introduced by Mo...
share
research
∙
05/25/2023
Classical Distributive Restriction Categories
In the category of sets and partial functions, 𝖯𝖠𝖱, while the disjoint u...
research
∙
10/29/2020
Linearizing Combinators
In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that t...
research
∙
10/15/2019
Reverse derivative categories
The reverse derivative is a fundamental operation in machine learning an...
research
∙
04/27/2018