Livre ou pdf sur les théories de Lawvere ?
Bonjour,
Dans mes lectures de catégorie théories le nom de Lawvere revient très souvent, du coup j'aimerais bien apprendre en quoi consiste les catégories et les théories de Lawvere (et pourquoi elles sont importantes). Est-ce qu'il existe des resources sur le sujet ? On m'a surtout pointé sur des articles pdf en ligne pour l'instant.
Dans mes lectures de catégorie théories le nom de Lawvere revient très souvent, du coup j'aimerais bien apprendre en quoi consiste les catégories et les théories de Lawvere (et pourquoi elles sont importantes). Est-ce qu'il existe des resources sur le sujet ? On m'a surtout pointé sur des articles pdf en ligne pour l'instant.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Sinon je peux essayer de te trouver de bonnes refs demain, je ne sais plus où j'avais appris ça mais je l'avais bien appris donc je devrais trouver des trucs cools
(après si tu es intéressé pour aller plus loin, par exemple dans le monde des monades, alors il y a des traitements qui sont très bien aussi pour ça, mais plus costauds catégoriquement - et ils ne traiteront pas les théories de Lawvere en autant de détails qu'Awodey)