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