License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2017.20
URN: urn:nbn:de:0030-drops-76687
Go to the corresponding LIPIcs Volume Portal

Cockett, Robin ; Lemay, Jean-Simon

Integral Categories and Calculus Categories

LIPIcs-CSL-2017-20.pdf (0.5 MB)


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

  author =	{Robin Cockett and Jean-Simon Lemay},
  title =	{{Integral Categories and Calculus Categories}},
  booktitle =	{26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
  pages =	{20:1--20:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-045-3},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{82},
  editor =	{Valentin Goranko and Mads Dam},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-76687},
  doi =		{10.4230/LIPIcs.CSL.2017.20},
  annote =	{Keywords: Differential Categories, Integral Categories, Calculus Categories}

Keywords: Differential Categories, Integral Categories, Calculus Categories
Collection: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Issue Date: 2017
Date of publication: 16.08.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI