J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright
Tangent Categories from the Coalgebras of Differential Categories
CSL, 2020.
@inproceedings{CSL-2020-CockettLL, author = "J. Robin B. Cockett and Jean-Simon Pacaud Lemay and Rory B. B. Lucyshyn-Wright", booktitle = "{Proceedings of the 28th EACSL Annual Conference on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2020.17", isbn = "978-3-95977-132-0", pages = "17", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Tangent Categories from the Coalgebras of Differential Categories}", year = 2020, }