Eugenia Cheng : category theory in life

C’est une mathématicienne, un des piliers de la « higher category theory », pas une spécialiste du « functional programming ». Elle est entièrement tournée vers le ciel, pas vers la terre (contrairement au thème de sa conférence).

On dira ce qu’on voudra mais je n’ai jamais entendu parler de harcèlement sexuel ni de toutes ces vilaines choses dans le milieu mathématicien…

Advertisements
This entry was posted in ∞-catégories, category theory, Higher category theory, Science, mathesis. Bookmark the permalink.