Collaborated with:J.R.B.Cockett J.Gallagher J.P.Lemay B.MacAdam G.D.Plotkin D.Pronk
Talks about:categori (1) revers (1) deriv (1)
Person: Geoff S. H. Cruttwell
DBLP: Cruttwell:Geoff_S=_H=
Contributed to:
2020Wrote 1 papers:
- CSL-2020-CockettCGLMPP #category theory
- Reverse Derivative Categories (JRBC, GSHC, JG, JSPL, BM, GDP, DP), p. 16.