1. Berger, C., Moerdijk, I.: On the derived category of an algebra over an operad. Georgian Math. J. 16(1), 13–28 (2009)
2. Cockett, R., Cruttwell, G.: Differential bundles and fibrations for tangent categories. In: Cahiers de Topologie et Géométrie Différentielle Catégoriques LIX, pp. 10–92 (2018)
3. Cockett, R., Lemay, J.-S.P., Lucyshyn-Wright, R.: Tangent categories from the coalgebras of differential categories. In: Fernández, M., Muscholl, A. (eds) 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). vol. 152. Leibniz International Proceedings in Informatics (LIPIcs), pp. 17:1–17:17. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl (2020)
4. Cockett, R., Cruttwell, G.: Differential structure, tangent structure, and SDG. Appl. Categ. Struct. 22(2), 331–417 (2014)
5. Cockett, R., Cruttwell, G.: Connections in tangent categories. Theory Appl. Categ. 32(26), 835–888 (2017)