@article{TAC_2015_30_a17,
     author = {R. Blute and J.R.B. Cockett and R.A.G. Seely},
     title = {Cartesian differential storage categories},
     journal = {Theory and applications of categories},
     pages = {620--686},
     publisher = {mathdoc},
     volume = {30},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2015_30_a17/}
}