Document Open Access Logo

Tangent Categories from the Coalgebras of Differential Categories

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

PDF
Thumbnail PDF

File

LIPIcs.CSL.2020.17.pdf
  • Filesize: 0.59 MB
  • 17 pages

Document Identifiers

Author Details

Robin Cockett
  • University of Calgary, Department of Computer Science, Canada
Jean-Simon Pacaud Lemay
  • University of Oxford, Department of Computer Science, UK
Rory B. B. Lucyshyn-Wright
  • Brandon University, Department of of Mathematics and Computer Science, Canada

Funding

  • Cockett, Robin: Partially supported by NSERC (Canada).
  • Lemay, Jean-Simon Pacaud: Thanks to Kellogg College, the Clarendon Fund, and the Oxford Google-DeepMind Graduate Scholarship for financial support.
  • Lucyshyn-Wright, Rory B. B.: Supported by the Natural Sciences and Engineering Research Council of Canada (NSERC).

Acknowledgements

The authors would like thank to thank Steve Lack for pointing us to an adjoint lifting theorem of Butler found in Barr and Wells' book [Barr and Wells, 2005], as well as the anonymous referee for pointing us to Johnstone’s adjoint lifting theorem [Johnstone, 1975].

Cite AsGet BibTex

Robin Cockett, Jean-Simon Pacaud Lemay, and Rory B. B. Lucyshyn-Wright. Tangent Categories from the Coalgebras of Differential Categories. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 17:1-17:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.CSL.2020.17

Abstract

Following the pattern from linear logic, the coKleisli category of a differential category is a Cartesian differential category. What then is the coEilenberg-Moore category of a differential category? The answer is a tangent category! A key example arises from the opposite of the category of Abelian groups with the free exponential modality. The coEilenberg-Moore category, in this case, is the opposite of the category of commutative rings. That the latter is a tangent category captures a fundamental aspect of both algebraic geometry and Synthetic Differential Geometry. The general result applies when there are no negatives and thus encompasses examples arising from combinatorics and computer science.

Subject Classification

ACM Subject Classification
  • Theory of computation → Linear logic
  • Theory of computation → Categorical semantics
Keywords
  • Differential categories
  • Tangent categories
  • Coalgebra Modalities

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Versions

References

  1. A Agore. Limits of coalgebras, bialgebras and Hopf algebras. Proceedings of the American Mathematical Society, 139(3):855-863, 2011. Google Scholar
  2. Michael Barr and Charles Wells. Toposes, triples and theories. Repr. Theory Appl. Categ., pages x+288, 2005. Corrected reprint of the 1985 original. Google Scholar
  3. Gavin M Bierman. What is a categorical model of intuitionistic linear logic? In International Conference on Typed Lambda Calculi and Applications, pages 78-93. Springer, 1995. Google Scholar
  4. R Blute, J R B Cockett, and Robert A G Seely. Cartesian differential storage categories. Theory and Applications of Categories, 30(18):620-686, 2015. Google Scholar
  5. R. F. Blute, J. R. B. Cockett, J.-S. P. Lemay, and R. A. G. Seely. Differential Categories Revisited. Applied Categorical Structures, 2019. URL: https://doi.org/10.1007/s10485-019-09572-y.
  6. RF Blute, J Robin B Cockett, and Robert A G Seely. Cartesian differential categories. Theory and Applications of Categories, 22(23):622-672, 2009. Google Scholar
  7. Richard F Blute, J Robin B Cockett, and Robert A G Seely. Differential categories. Mathematical Structures in Computer Science, 16(06):1049-1083, 2006. Google Scholar
  8. Richard F Blute, Thomas Ehrhard, and Christine Tasson. A convenient differential category. Cahiers de Topologie et Géométrie Différentielle Catégoriques, LIII:211-232, 2012. Google Scholar
  9. Richard F Blute, Rory B B Lucyshyn-Wright, and Keith O'Neill. Derivations in codifferential categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 57:243-280, 2016. Google Scholar
  10. Antonio Bucciarelli, Thomas Ehrhard, and Giulio Manzonetto. Categorical models for simply typed resource calculi. Electronic Notes in Theoretical Computer Science, 265:213-230, 2010. Google Scholar
  11. James Clift and Daniel Murfet. Cofree coalgebras and differential linear logic. arXiv preprint arXiv:1701.01285, 2017. Google Scholar
  12. J Robin B Cockett and Geoff S H Cruttwell. Differential Structure, Tangent Structure, and SDG. Applied Categorical Structures, 22(2):331-417, 2014. Google Scholar
  13. J Robin B Cockett and Geoff S H Cruttwell. Differential Bundles and Fibrations for Tangent Categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 59:10-92, 2018. Google Scholar
  14. J Robin B Cockett, Geoff S H Cruttwell, and Jonathan D Gallagher. Differential restriction categories. Theory and Applications of Categories, 25(21):537-613, 2011. Google Scholar
  15. Robin Cockett, Jean-Simon Pacaud Lemay, and Rory B. B. Lucyshyn-Wright. Tangent Categories from the Coalgebras of Differential Categories, 2019. URL: http://arxiv.org/abs/1910.05617.
  16. G S H Cruttwell, J-S P Lemay, and R B B Lucyshyn-Wright. Integral and differential structure on the free C^∞-ring modality. arXiv preprint arXiv:1902.04555, 2019. Google Scholar
  17. Thomas Ehrhard. On Köthe sequence spaces and linear logic. Mathematical Structures in Computer Science, 12(5):579-623, 2002. Google Scholar
  18. Thomas Ehrhard. An introduction to Differential Linear Logic: proof-nets, models and antiderivatives. Mathematical Structures in Computer Science, 28:995-1060, 2018. Google Scholar
  19. M.P. Fiore. Differential structure in models of multiplicative biadditive intuitionistic linear logic. In International Conference on Typed Lambda Calculi and Applications, pages 163-177. Springer, 2007. Google Scholar
  20. Richard Garner. An embedding theorem for tangent categories. Advances in Mathematics, 323:668-687, 2018. Google Scholar
  21. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50(1):1-101, 1987. Google Scholar
  22. Jonathan S Golan. Semirings and their Applications. Springer Science & Business Media, 2013. Google Scholar
  23. Li Guo. An introduction to Rota-Baxter algebra, volume 2. International Press Somerville, 2012. Google Scholar
  24. Robin Hartshorne. Algebraic geometry, volume 52. Springer Science & Business Media, 2013. Google Scholar
  25. Claudio Hermida and Bart Jacobs. Structural induction and coinduction in a fibrational setting. Information and Computation, 145(2):107-152, 1998. Google Scholar
  26. Martin Hyland and Andrea Schalk. Glueing and orthogonality for models of linear logic. Theoretical Computer Science, 294(1-2):183-231, 2003. Google Scholar
  27. P T Johnstone. Adjoint lifting theorems for categories of algebras. The Bulletin of the London Mathematical Society, 7(3):294-297, 1975. Google Scholar
  28. Gerd Kainz, Andreas Kriegl, and P Michor. C^∞-algebras from the functional analytic view point. Journal of Pure and Applied Algebra, 46(1):89-107, 1987. Google Scholar
  29. Anders Kock. Synthetic differential geometry, volume 333. Cambridge University Press, 2006. Google Scholar
  30. Serge Lang. Algebra, revised 3rd ed. Graduate Texts in Mathematics, 211, 2002. Google Scholar
  31. Jeffrey M Lee. Manifolds and Differential Geometry, volume 107. American Mathematical Soc., 2009. Google Scholar
  32. Poon Leung. Classifying tangent structures using Weil algebras. Theory and Applications of Categories, 32(9):286-337, 2017. Google Scholar
  33. Fred EJ Linton. Coequalizers in categories of algebras. In Seminar on triples and categorical homology theory, pages 75-90. Springer, 1969. Google Scholar
  34. Rory B B Lucyshyn-Wright. Categories with representable tangent structure and models of SDG associated to codifferential categories. Foundational Methods in Computer Science, 2014. Google Scholar
  35. Rory B B Lucyshyn-Wright. Models of synthetic differential geometry associated to codifferential categories. Category Theory 2014 conference, Cambridge, UK, 2014. Google Scholar
  36. Saunders Mac Lane. Categories for the working mathematician. Springer-Verlag, New York, Berlin, Heidelberg, 1971, revised 2013. Google Scholar
  37. Giulio Manzonetto. What is a Categorical Model of the Differential and the Resource λ-Calculi? Mathematical Structures in Computer Science, 22(3):451-520, 2012. Google Scholar
  38. Paul-André Mellies. Categorical semantics of linear logic. Panoramas et Syntheses, 27:15-215, 2009. Google Scholar
  39. Ieke Moerdijk and Gonzalo E Reyes. Models for smooth infinitesimal analysis. Springer Science & Business Media, 2013. Google Scholar
  40. Hans-E Porst. ON CORINGS AND COMODULES. Archivum Mathematicum, 42(4), 2006. Google Scholar
  41. J Rosický. Abstract tangent functors. Diagrammes, 12(3):1-11, 1984. Google Scholar
  42. Andrea Schalk. What is a categorical model of linear logic. Manuscript, available from http://www.cs.man.ac.uk/∼schalk/work.html, 2004. Google Scholar
  43. Robbert A G Seely. Linear logic,*-autonomous categories and cofree coalgebras, volume 92. American Mathematical Society, 1989. Google Scholar
  44. Moss E Sweedler. Hopf Algebras. W. A. Benjamin, Inc., 1969. Google Scholar
  45. Robert Wisbauer. Algebras versus coalgebras. Applied Categorical Structures, 16(1):255-295, 2008. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact