scientific article
From MaRDI portal
Publication:2884463
zbMath1275.18016MaRDI QIDQ2884463
R. A. G. Seely, J. Robin B. Cockett
Publication date: 29 May 2012
Full work available at URL: http://www.emis.de/journals/TAC/volumes/25/15/25-15abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Differential algebra (12H05) Eilenberg-Moore and Kleisli constructions for monads (18C20) Differential operators in several variables (32W99)
Related Items
Cartesian differential categories as skew enriched categories, Categorical semantics of a simple differential programming language, Smooth coalgebra: testing vector analysis, Linearizing Combinators, Cartesian differential categories revisited, A Tangent Category Alternative to the Fa\`a di Bruno Construction, Differential structure, tangent structure, and SDG, Unnamed Item, Exponential functions in Cartesian differential categories, Faà di Bruno for operads and internal algebras