Philip Wadler : category theory for the WORKING HACKER

Comme je l’ai déjà dit, il y a deux versants à la théorie des catégories, qui est une sorte de Janus bifrons : un visage tourné vers la terre, et l’autre vers le ciel.. ce doit être la fameuse dualité…

Advertisements
This entry was posted in category theory, Computer science, Higher category theory, homotopy type theory. Bookmark the permalink.