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.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s