homotopytypetheory.org/book

Preview meta tags from the homotopytypetheory.org website.

Linked Hostnames

30

Thumbnail

Search Engine Appearance

Google

https://homotopytypetheory.org/book

The HoTT Book

Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6" × 9" size, hardcover, first-edition-1277-g3274cb3] Buy a paperback copy for $14.00. [620 pages, 6" × 9" size, paperback, first-edition-1277-g3274cb3] Download PDF for on-screen viewing. [490+ pages, letter size, in color, with…



Bing

The HoTT Book

https://homotopytypetheory.org/book

Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6" × 9" size, hardcover, first-edition-1277-g3274cb3] Buy a paperback copy for $14.00. [620 pages, 6" × 9" size, paperback, first-edition-1277-g3274cb3] Download PDF for on-screen viewing. [490+ pages, letter size, in color, with…



DuckDuckGo

https://homotopytypetheory.org/book

The HoTT Book

Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6" × 9" size, hardcover, first-edition-1277-g3274cb3] Buy a paperback copy for $14.00. [620 pages, 6" × 9" size, paperback, first-edition-1277-g3274cb3] Download PDF for on-screen viewing. [490+ pages, letter size, in color, with…

  • General Meta Tags

    10
    • title
      The HoTT Book | Homotopy Type Theory
    • charset
      UTF-8
    • robots
      max-image-preview:large
    • generator
      WordPress.com
    • article:published_time
      2013-03-12T01:57:34+00:00

  • Open Graph Meta Tags

    10
    • og:type
      article
    • og:title
      The HoTT Book
    • og:url
      https://homotopytypetheory.org/book/
    • og:description
      Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hard…
    • og:site_name
      Homotopy Type Theory

  • Twitter Meta Tags

    4
    • twitter:text:title
      The HoTT Book
    • twitter:image
      https://homotopytypetheory.org/wp-content/uploads/2013/03/cover-web.png?w=144
    • twitter:image:alt
      Homotopy type theory: Univalent foundations of mathematics
    • twitter:card
      summary

  • Link Tags

    31
    • EditURI
      https://hottheory.wordpress.com/xmlrpc.php?rsd
    • alternate
      https://homotopytypetheory.org/feed/
    • alternate
      https://homotopytypetheory.org/comments/feed/
    • alternate
      https://homotopytypetheory.org/book/feed/
    • alternate
      https://public-api.wordpress.com/oembed/?format=json&url=https%3A%2F%2Fhomotopytypetheory.org%2Fbook%2F&for=wpcom-auto-discovery

Links

258