Olivia Caramello
University of Insubria
Mathematics
and Interactions
-
14 videos
![1/4 Introduction to sheaves, stacks and relative toposes]()
01:00:38published on June 24, 20211/4 Introduction to sheaves, stacks and relative toposes
By Olivia Caramello
![2/4 Introduction to sheaves, stacks and relative toposes]()
01:02:25published on June 24, 20212/4 Introduction to sheaves, stacks and relative toposes
By Olivia Caramello
![3/4 Introduction to sheaves, stacks and relative toposes]()
59:58published on June 24, 20213/4 Introduction to sheaves, stacks and relative toposes
By Olivia Caramello
![4/4 Introduction to sheaves, stacks and relative toposes]()
40:48published on June 24, 20214/4 Introduction to sheaves, stacks and relative toposes
By Olivia Caramello
![Panel: What is the role of Topos in Information and Communication Technologies?]()
33:53published on April 16, 2018Panel: What is the role of Topos in Information and Communication Technologies?
By 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:50published on December 8, 20154/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
By Olivia Caramello
![3/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique]()
01:16:25published on December 8, 20153/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
By Olivia Caramello
![2/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique]()
01:20:00published on December 4, 20152/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
By Olivia Caramello
![1/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique]()
01:19:29published on December 3, 20151/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique
By Olivia Caramello
