Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories.
From Greg McCracken
From Greg McCracken
Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories.
Abstract: The theory of differential categories uses category theory to study the foundations of differentiation. Differential categories have been able to formalize various aspects of differentiation, from the very basic foundational aspects of differentiation to the more complex notions of differential geometry. In these lectures, we propose to introduce and summarize the theory of differential categories, as well as discuss interesting examples and applications. There will be three (possibly four) lectures:
Lecture 1) We will provide an overview introduction to the theory of differential categories. In particular, we will take a look at the "map of differential categories" and discuss how each stage of the theory of differential categories are connected. We will also discuss the first stage differential categories, which are axiomatized by the basic algebraic foundations of differentiation and provide the categorical semantics of differential linear logic.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.
Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2021 and may only be used in accordance with the terms of the licence.