Differential Structure, Tangent Structure, and SDG

2013/05/07 by J. R. B. Cockett, G. S. H. Cruttwell · 4 citations

paper · doi:10.1007/s10485-013-9312-0

Cited by

• Data Provenance as Automatic Differentiation
• From Abelianization to Tangent Categories
• The formal theory of tangentads PART I
• Tangent structures for divided power algebras