Integral and differential structure on the free $C^{\infty }$-ring modality

G. S. H. Cruttwell, J. -S. P. Lemay, R. B. B. Lucyshyn-Wright

Integral categories were recently developed as a counterpart to differential categories. In particular, integral categories come equipped with an integration operator, known as an…