Homotopy Type Theory Lingerie

Homotopy Type Theory Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study

A person in red lingerie and fishnet stockings holds the book “Homotopy Type Theory” over their body. The joke comes from the deliberately provocative contrast between academic mathematics and suggestive imagery, making it a reaction image for unexpectedly nerdy or intellectually seductive situations.

• @profunctor_io / 4061 2020-02-24