Archives de
Étiquette : Catégories

Propriétés universelles et lemme de Yoneda

Propriétés universelles et lemme de Yoneda

Dis-moi qui tu fréquentes … je te dirais qui tu es. La version mathématique de ce vieil adage s’appelle le lemme de Yoneda. C’est le thème de cette vidéo. Au programme, catégories, foncteurs et représentabilité. Pour aller plus loin, et de manière plus sérieuse: Une introduction aux bases de la théorie des catégories par Tom Leinster. Une note d’Antoine Ducros: « Foncteurs représentables » Pour les courageux qui souhaitent approfondir les catégories, SGA4-Exposé-I reste une référence indémodable. Animation de la fibration de…

Lire la suite Lire la suite

Combien il y a-t-il de nombres entiers naturels ?

Combien il y a-t-il de nombres entiers naturels ?

En voilà une question qu’elle est bien pour y répondre, non ? Dans cette vidéo je te présente une réponse basée sur la notion de groupoides et de leurs masses. Une occasion en or pour venir apprendre ce que « compter » peut parfois signifier pour un mathématicien. Pour aller, plus loin, et de manière plus sérieuse: Deux blogs très sympas sur le sujet ici et là. Pour les courageux, un exemple d’application de la masse des types d’homotopie finis (aussi appelés…

Lire la suite Lire la suite