Cours de Logique Catégorique

✍ Scribed by Alain Prouté

• Year: 2016
• Tongue: French
• Leaves: 406
• Series: Lecture notes
• Edition: version 17 May 2016
• Category: Library

✦ Synopsis

Cours de logique catégorique donné en 2008, 2009 et 2010 dans le Master 2 ``Logique mathématique et Fondements de l'Informatique''. Ce cours introduit les notions essentielles de théorie des catégories (problèmes universels, classifiants, foncteurs adjoints, monades,...) et expose les bases de la théorie des topos élémentaires, en particulier le langage interne, la sémantique de Kripke-Joyal, les topos de préfaisceaux d'ensembles, les topologies de Grothendieck et de Lawvere-Tierney, et les topos de faisceaux. Contient plus de 300 exercices dont certains sont corrigés.