Théorie des types/logique catégorique/topos..
Bonjour
Je cherche des bonnes réfs self-contained qui donnent un "bon chemin" (ça peut être plusieurs pdfs ou bouquins), qui parlent de théorie des types, topos, logique catégorique en général. Je connais déjà sketches of an elephant de Johnston mais c'est orienté étude des topoi, studies in logics de Lurie, pour le coup ça parle peu de topos/catégorie régulière etc, tribes de Joyal qui parle spécifiquement des clan/tribus, mais j'aimerais bien quelque chose qui fasse "l'overview" du domaine si vous en avez.
Merci !
Je cherche des bonnes réfs self-contained qui donnent un "bon chemin" (ça peut être plusieurs pdfs ou bouquins), qui parlent de théorie des types, topos, logique catégorique en général. Je connais déjà sketches of an elephant de Johnston mais c'est orienté étude des topoi, studies in logics de Lurie, pour le coup ça parle peu de topos/catégorie régulière etc, tribes de Joyal qui parle spécifiquement des clan/tribus, mais j'aimerais bien quelque chose qui fasse "l'overview" du domaine si vous en avez.
Merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Tu trouveras gratuitement une bonne partie ici-même de ce que tu cherches, bien écrits et in French yet. Je me demande pourquoi Monsieur Prouté ne rédige pas un ouvrage complet en l'éditant chez C&M.
Cordialement,
Thierry
Il est à la retraite et il l'apprécie beaucoup, il ne s'ennuie pas.
PS : Je tiens donc à te remercier.