Differential Categories
Offered By: Centre International de Rencontres Mathématiques via YouTube
Course Description
Overview
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.
Syllabus
Jean-Simon Lemay: Differential categories
Taught by
Centre International de Rencontres Mathématiques
Related Courses
Unleashing Algebraic Metaprogramming in Julia with Metatheory.jlThe Julia Programming Language via YouTube COSC250 - Functional and Reactive Programming
Independent Free as in Monads - Understanding and Applying Free Monads - Lecture 44
ChariotSolutions via YouTube Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube