Telecharger Cours

Lambda calculs et catégories - IRIF

Soit A une 0-cellule dans une 2-catégorie B. Une monade s sur la 0-cellule A est une 1-cellule s : A ?? A munie d'une multiplication.



Download