homotopytypetheory.org

Preview meta tags from the homotopytypetheory.org website.

Linked Hostnames

11

Thumbnail

Search Engine Appearance

Google

https://homotopytypetheory.org/

Homotopy Type Theory

This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory.  Propositional equality is interpreted as…



Bing

Homotopy Type Theory

https://homotopytypetheory.org/

This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory.  Propositional equality is interpreted as…



DuckDuckGo

https://homotopytypetheory.org/

Homotopy Type Theory

This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory.  Propositional equality is interpreted as…

  • General Meta Tags

    8
    • title
      Homotopy Type Theory
    • charset
      UTF-8
    • robots
      max-image-preview:large
    • generator
      WordPress.com
    • article:publisher
      https://www.facebook.com/WordPresscom

  • Open Graph Meta Tags

    9
    • og:type
      website
    • og:title
      Homotopy Type Theory
    • og:url
      https://homotopytypetheory.org/
    • og:site_name
      Homotopy Type Theory
    • og:image
      https://secure.gravatar.com/blavatar/17cafeb69ca3ce791373a3386099f92e03dd0f03b76a53292d670a553cc609e6?s=200&ts=1730937162

  • Twitter Meta Tags

    4
    • twitter:text:title
      Homotopy Type Theory and Univalent Foundations
    • twitter:image
      https://secure.gravatar.com/blavatar/17cafeb69ca3ce791373a3386099f92e03dd0f03b76a53292d670a553cc609e6?s=240
    • twitter:card
      summary
    • twitter:description
      Visit the post for more.

  • Link Tags

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

Links

112