Tangent Categories from the Coalgebras of Differential Categories
From MaRDI portal
Publication:6327072
DOI10.4230/LIPICS.CSL.2020.17arXiv1910.05617MaRDI QIDQ6327072FDOQ6327072
Authors: J. R. B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright 
Publication date: 12 October 2019
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. This is an extended version of a conference paper for CSL2020.
This page was built for publication: Tangent Categories from the Coalgebras of Differential Categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6327072)
