Cockett, Robin ;
Lemay, JeanSimon
Integral Categories and Calculus Categories
Abstract
Differential categories are now an established abstract setting for differentiation. The paper presents the parallel development for integration by axiomatizing
an integral transformation in a symmetric monoidal category with a coalgebra modality. When integration is combined with differentiation, the two fundamental theorems of calculus are expected to hold (in a suitable sense): a differential category with integration which satisfies
these two theorem is called a calculus category.
Modifying an approach to antiderivatives by T. Ehrhard, it is shown how examples of calculus categories arise as differential categories with antiderivatives in this new sense. Having antiderivatives amounts to demanding that a certain natural transformation K, is invertible. We observe that a differential category having antiderivatives, in this sense, is always a calculus category and we provide examples of such categories.
BibTeX  Entry
@InProceedings{cockett_et_al:LIPIcs:2017:7668,
author = {Robin Cockett and JeanSimon Lemay},
title = {{Integral Categories and Calculus Categories}},
booktitle = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
pages = {20:120:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959770453},
ISSN = {18688969},
year = {2017},
volume = {82},
editor = {Valentin Goranko and Mads Dam},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7668},
URN = {urn:nbn:de:0030drops76687},
doi = {10.4230/LIPIcs.CSL.2017.20},
annote = {Keywords: Differential Categories, Integral Categories, Calculus Categories}
}
16.08.2017
Keywords: 

Differential Categories, Integral Categories, Calculus Categories 
Seminar: 

26th EACSL Annual Conference on Computer Science Logic (CSL 2017)

Issue date: 

2017 
Date of publication: 

16.08.2017 