En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Differential categories from functor calculus

Bookmarks Report an error
Multi angle
Authors : Johnson, Brenda (Author of the conference)
CIRM (Publisher )

Loading the player...

Abstract : The calculus of homotopy functors is an important topological tool that has been used to shed light on and make connections between fundamental structures in homotopy theory and K-theory. It has also inspired the creation of new types of functor calculi to tackle problems in algebra and topology. In this talk, I will begin by describing properties that a functor calculus should have, before looking at a particular functor calculus, the abelian functor calculus, that has its origins in the work of Eilenberg, Mac Lane, Dold, and Puppe. Using this calculus, one can define the analog of a “directional derivative” for functors of abelian categories. I will describe how this directional derivative is used to create a cartesian differential category from abelian functor calculus, and if time permits, discuss some related work on connections between functor calculus and differential categories.

MSC Codes :

    Information on the Video

    Film maker : Récanzone, Luca
    Language : English
    Available date : 03/06/2024
    Conference Date : 16/05/2024
    Subseries : Research talks
    arXiv category : Logic in Computer Science ; Category Theory
    Mathematical Area(s) : Algebra ; Logic and Foundations
    Format : MP4 (.mp4) - HD
    Video Time : 01:05:45
    Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students
    Download : https://videos.cirm-math.fr/2024-05-16_Johnson.mp4

Information on the Event

Event Title : Differential $\lambda$-Calculus and Differential Linear Logic, 20 Years Later / $ \lambda $-calcul différentiel et logique linéaire différentielle, 20 ans après
Event Organizers : Cerda, Rémy ; Guerrieri, Giulio ; Olimpieri, Federico ; Tasson, Christine ; Vaux Auclair, Lionel
Dates : 13/05/2024 - 17/05/2024
Event Year : 2024
Event URL : https://conferences.cirm-math.fr/2980.html

Citation Data

DOI : 10.24350/CIRM.V.20170003
Cite this video as: Johnson, Brenda (2024). Differential categories from functor calculus. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20170003
URI : http://dx.doi.org/10.24350/CIRM.V.20170003

See Also

Bibliography



Imagette Video

Bookmarks Report an error