Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
63 videos
Un texte, un mathématicien
4 videos
Meeting in mathematical statistics / Rencontres de statistique mathématique
14 videos
Quantum gravity and random geometry
1 videos
2023 - T1A - Quantum gravity, random geometry and holography
All the collections
All the institutions
Area
> Category Theory
Videos linked to Category Theory
40:29
published on
November 30, 2022
Categorification of Rule Algebras
By Nicolas Behr
45:12
published on
November 30, 2022
A gentle introduction to template games and linear logic
By Paul-André Melliès
45:12
published on
November 30, 2022
A gentle introduction to template games and linear logic
By Paul-André Melliès
published on
November 21, 2022
A varifold perspective on discrete surfaces
By Blanche Buet
01:22:58
published on
March 14, 2022
Daily applications of the univalence axiom: lecture 3
By Egbert Rijke
01:22:28
published on
March 14, 2022
Daily applications of the univalence axiom: lecture 2
By Egbert Rijke
01:30:04
published on
March 14, 2022
Daily applications of the univalence axiom: lecture 1
By Egbert Rijke
52:12
published on
December 10, 2021
Towards Executable Applied Category Theory in Coq
By Nicolas Behr
More +
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2023
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback