Introduction to categorical logic,
classifying toposes and the "Bridge" technique
Olivia Caramello

This conference is part of a colloquium Topos à l'IHES (23 au 27 novembre 2015)
The course took place on November 23rd, 2015.

Youtube notes

• Introduction to categorical logic I - 01:19:35

Original resources

Topos à l'IHES

• Intro Categorical Logic I
• Intro Categorical Logic II
• Intro Categorical Logic III
• Intro Categorical Logic IV