26
avril
2012
A gentle introduction to 2-dimensional algebra and string diagrams
avril
2012
Un article de SpiceGuid
Pas de commentaires
Pour ceux qui aiment la théorie des catégories et les preuves diagrammatiques Paul-André Melliès présente une (nouvelle?) approche graphique à la croisée du calcul des séquents et de la théorie des noeuds.
Cliquez sur l’image pour télécharger les slides pdf.