homotopytypetheory.org

.org crawl

First seen 2026-04-12 · Last seen 2026-05-19 · ok HTTP/1.1 200 842 ms crawled 2026-05-20

US · 192.0.78.25 · AS2635 Automattic, Inc

Reputation 100/100

Classifying

HTML metadata

Title

Homotopy Type Theory

Description

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…

Language

Generator

WordPress.com

Canonical

https://homotopytypetheory.org/

Feeds

Open Graph

url: https://homotopytypetheory.org/
title: Homotopy Type Theory
locale: en_US
site name: Homotopy Type Theory

Technology

Server: nginx
CMS: WordPress

Third-party hosts loaded (10)

secure.gravatar.com×5
s0.wp.com×3
public-api.wordpress.com×2
s1.wp.com×2
s2.wp.com×2
gmpg.org×1
hottheory.wordpress.com×1
pixel.wp.com×1
stats.wp.com×1
wp.me×1

Registration

Registrar

Wild West Domains, LLC

Created

2011-03-13

Expires

2027-03-13 296 days left

Updated

2026-02-16

Name servers

ns1.wordpress.com
ns2.wordpress.com

DNS records live

NS

ns1.wordpress.com
ns2.wordpress.com
ns3.wordpress.com

Email authentication no MX

SPF: not published
DMARC: not published
DKIM: no key found at common selectors

Certificate (current)

WR1

from 2026-04-25 to 2026-07-24

Expires in 64 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 50/100 Checked live page: https://homotopytypetheory.org/

present

strict-transport-security

findings

missing Content Security Policy
missing frame protection
missing content type protection
missing Referrer Policy
missing Permissions Policy

Header values

strict-transport-security: max-age=31536000