Disegno lumaca.pdfDisegno lumaca.pdf

Trois approches de l'algèbre universelles seront introduites, comparées entre elles et développées (à des niveaux différents) : l'approche en termes d'opérations finitaires et équations, l'approche en termes de théories algébriques au sens de Lawvere et l'approche en termes de monades finitaires sur la catégorie des ensembles.