Cockett, Robin; Lemay, Jean-Simon Pacaud; Lucyshyn-Wright, Rory B. B. Tangent categories from the coalgebras of differential categories. (English) Zbl 07650830 Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 17, 17 p. (2020). MSC: 68-XX 03B70 PDFBibTeX XMLCite \textit{R. Cockett} et al., LIPIcs -- Leibniz Int. Proc. Inform. 152, Article 17, 17 p. (2020; Zbl 07650830) Full Text: DOI arXiv
Blute, R. F.; Cockett, J. R. B.; Lemay, J-S. P.; Seely, Robert A. G. Differential categories revisited. (English) Zbl 1465.18011 Appl. Categ. Struct. 28, No. 2, 171-235 (2020). Reviewer: Timothy Porter (Llandegfan) MSC: 18F40 16T15 PDFBibTeX XMLCite \textit{R. F. Blute} et al., Appl. Categ. Struct. 28, No. 2, 171--235 (2020; Zbl 1465.18011) Full Text: DOI arXiv
Cockett, J. R. B.; Lemay, J.-S. Cartesian integral categories and contextual integral categories. (English) Zbl 07517277 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 45-72 (2018). Reviewer: Ross H. Street (Sydney) MSC: 18C15 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{J. S. Lemay}, Electron. Notes Theor. Comput. Sci. 341, 45--72 (2018; Zbl 07517277) Full Text: DOI
Cockett, J. Robin B.; Lemay, Jean-Simon There is only one notion of differentiation. (English) Zbl 1434.18005 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 13, 21 p. (2017). MSC: 18E05 03F52 03G30 18M05 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{J.-S. Lemay}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 13, 21 p. (2017; Zbl 1434.18005) Full Text: DOI
Cockett, J. R. B.; Hasegawa, M.; Seely, R. A. G. Coherence of the double involution on \(\ast\)-autonomous categories. (English) Zbl 1120.03045 Theory Appl. Categ. 17, 17-29 (2006). Reviewer: Michel Eytan (Strasbourg) MSC: 03F52 18D10 18D15 03G30 19D23 PDFBibTeX XMLCite \textit{J. R. B. Cockett} et al., Theory Appl. Categ. 17, 17--29 (2006; Zbl 1120.03045) Full Text: EuDML EMIS