جزییات کتاب
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.
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Festival_automobile_international_2012_-_Photocall_-_Alain_Prost_-_013.jpg/33px-Festival_automobile_international_2012_-_Photocall_-_Alain_Prost_-_013.jpg)
آلن پروست (انگلیسی: Alain Prost؛ زاده ۲۴ فوریهٔ ۱۹۵۵(1955-02-24)) یک راننده سابق فرمول یک اهل فرانسه است که چهار دوره قهرمانی مسابقات فورمول یک جهان را در کارنامه دارد.