scientific article; zbMATH DE number 7650830

DOI10.4230/LIPIcs.CSL.2020.17MaRDI QIDQ5874203

Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright, J. Robin B. Cockett

Publication date: 7 February 2023

Full work available at URL: https://arxiv.org/abs/1910.05617

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

differential categoriestangent categoriescoalgebra modalities

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (4)

Cartesian differential categories as skew enriched categories ⋮ Coherent differentiation ⋮ Linearizing Combinators ⋮ Unnamed Item

This page was built for publication: