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

Sélection Signaler une erreur
Multi angle
Auteurs : Johnson, Brenda (Auteur de la Conférence)
CIRM (Editeur )

Loading the player...

Résumé : 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.

Codes MSC :

    Informations sur la Vidéo

    Réalisateur : Récanzone, Luca
    Langue : Anglais
    Date de publication : 03/06/2024
    Date de captation : 16/05/2024
    Sous collection : Research talks
    arXiv category : Logic in Computer Science ; Category Theory
    Domaine : Algebra ; Logic and Foundations
    Format : MP4 (.mp4) - HD
    Durée : 01:05:45
    Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students
    Download : https://videos.cirm-math.fr/2024-05-16_Johnson.mp4

Informations sur la Rencontre

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

Données de citation

DOI : 10.24350/CIRM.V.20170003
Citer cette vidéo: 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

Voir aussi

Bibliographie



Imagette Video

Sélection Signaler une erreur