Differential Categories from Functor Calculus

Explore differential categories derived from functor calculus in this conference talk delivered by Brenda Johnson at the Centre International de Rencontres Mathématiques in Marseille, France. Delve into the intricacies of differential λ-calculus and differential linear logic as part of the thematic meeting "Différential ℷ-calculus and differential linear logic, 20 years later." Gain insights into the mathematical concepts presented over the course of 1 hour and 6 minutes. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which offers features such as chapter markers, keywords, enriched content with abstracts and bibliographies, and multi-criteria search functionality. Filmed by Luca Récanzone, this presentation contributes to the ongoing exploration of advanced mathematical topics in the field of category theory and its applications.

Brenda Johnson: Differential categories from functor calculus