FRENCH

Cours de Logique Catégorique

By Alain Prouté

Book information

Year
2016
Language
french
Format
PDF
Filesize
3 MB (2749173 bytes)
Series
Lecture notes
Edition
version 17 May 2016
Pages
406\406
Time added
2016-09-27 03:43:17

Description

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.

Similar books