Differential Categories

Explore a comprehensive conference talk on differential categories presented by Jean-Simon Lemay at the Centre International de Rencontres Mathématiques in Marseille, France. Delve into the intricacies of differential λ-calculus and differential linear logic, commemorating 20 years of advancements in these fields. Access this 1 hour and 29 minutes long recording, expertly filmed by Guillaume Hennenfent, through CIRM's Audiovisual Mathematics Library. Utilize the platform's advanced features, including chapter markers and keywords, to navigate specific sections of interest. Benefit from enriched content featuring abstracts, bibliographies, and Mathematics Subject Classification. Take advantage of the multi-criteria search functionality to discover related talks by author, title, tags, or mathematical area, enhancing your exploration of this complex mathematical topic.