Olivia Caramello
University of Insubria
Mathématiques
et Interactions
-
14 vidéos
![1/4 Introduction to sheaves, stacks and relative toposes]()
01:00:38publiée le 24 juin 20211/4 Introduction to sheaves, stacks and relative toposes
De Olivia Caramello
![2/4 Introduction to sheaves, stacks and relative toposes]()
01:02:25publiée le 24 juin 20212/4 Introduction to sheaves, stacks and relative toposes
De Olivia Caramello
![3/4 Introduction to sheaves, stacks and relative toposes]()
59:58publiée le 24 juin 20213/4 Introduction to sheaves, stacks and relative toposes
De Olivia Caramello
![4/4 Introduction to sheaves, stacks and relative toposes]()
40:48publiée le 24 juin 20214/4 Introduction to sheaves, stacks and relative toposes
De Olivia Caramello
![Panel: What is the role of Topos in Information and Communication Technologies?]()
33:53publiée le 16 avril 2018Panel: What is the role of Topos in Information and Communication Technologies?
De Thierry Coquand , Jean-Claude Belfiore , Daniel Bennequin , Mérouane Debbah , Olivia Caramello
![4/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique]()
01:17:50publiée le 8 décembre 20154/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
De Olivia Caramello
![3/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique]()
01:16:25publiée le 8 décembre 20153/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
De Olivia Caramello
![2/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique]()
01:20:00publiée le 4 décembre 20152/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
De Olivia Caramello
![1/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique]()
01:19:29publiée le 3 décembre 20151/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
De Olivia Caramello
