The notion of a Moore-Penrose inverse (M-P inverse) was introduced by Mo...
In the category of sets and partial functions, 𝖯𝖠𝖱, while the
disjoint u...
In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that t...
The reverse derivative is a fundamental operation in machine learning an...
We provide a complete set of identities for the symmetric monoidal categ...