Homotopy type theory

Homotopy type theory - variant of type theory incorporating the univalence axiom of Voevodsky. Article "Homotopy type theory" in English Wikipedia has 61.4 points for quality (as of July 1, 2025). The article contains 61 references and 21 sections.

In this language version of Wikipedia the article has the best quality. Also, this article is the most popular in that language version.

In June 2025 the article "Homotopy type theory" was edited by 1 authors in English Wikipedia and written by 1 authors in all languages.

Since the creation of article "Homotopy type theory", its content was written by 88 registered users of English Wikipedia and edited by 131 registered Wikipedia users in all languages.

The article is cited 73 times in English Wikipedia and cited 113 times in all languages.

The highest Authors Interest rank from 2001:

• Local (English): #9875 in February 2015
• Global: #40103 in December 2014

The highest popularity rank from 2008:

• Local (English): #87290 in June 2021
• Global: #154364 in June 2021

There are 6 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

#	Language	Quality grade	Quality score
1	English (en) Homotopy type theory		61.4412
2	French (fr) Théorie homotopique des types		39.296
3	Chinese (zh) 同伦类型论		26.8338
4	Vietnamese (vi) Lý thuyết hình thái đồng luân		23.3343
5	Russian (ru) Гомотопическая теория типов		18.389
6	Spanish (es) Teoría de tipos homotópica		8.3862

More...

The following table shows the most popular language versions of the article.

The most popular language versions of the article "Homotopy type theory" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Homotopy type theory		498 554
2	Russian (ru) Гомотопическая теория типов		79 780
3	Chinese (zh) 同伦类型论		13 464
4	French (fr) Théorie homotopique des types		11 176
5	Spanish (es) Teoría de tipos homotópica		4 895
6	Vietnamese (vi) Lý thuyết hình thái đồng luân		663

More...

The following table shows the language versions of the article with the highest popularity in the last month.

The most popular language versions of the article "Homotopy type theory" in June 2025

#	Language	Popularity award	Relative popularity
1	English (en) Homotopy type theory		3 828
2	Russian (ru) Гомотопическая теория типов		421
3	French (fr) Théorie homotopique des types		231
4	Chinese (zh) 同伦类型论		103
5	Spanish (es) Teoría de tipos homotópica		87
6	Vietnamese (vi) Lý thuyết hình thái đồng luân		7

More...

The following table shows the language versions of the article with the highest Authors’ Interest.

Language versions of the article "Homotopy type theory" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Homotopy type theory		88
2	French (fr) Théorie homotopique des types		19
3	Russian (ru) Гомотопическая теория типов		14
4	Chinese (zh) 同伦类型论		4
5	Spanish (es) Teoría de tipos homotópica		3
6	Vietnamese (vi) Lý thuyết hình thái đồng luân		3

More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

Language versions of the article "Homotopy type theory" with the highest AI in June 2025

#	Language	AI award	Relative AI
1	English (en) Homotopy type theory		1
2	Spanish (es) Teoría de tipos homotópica		0
3	French (fr) Théorie homotopique des types		0
4	Russian (ru) Гомотопическая теория типов		0
5	Vietnamese (vi) Lý thuyết hình thái đồng luân		0
6	Chinese (zh) 同伦类型论		0

More...

The following table shows the language versions of the article with the highest number of citations.

Language versions of the article "Homotopy type theory" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Homotopy type theory		73
2	Russian (ru) Гомотопическая теория типов		14
3	French (fr) Théorie homotopique des types		13
4	Chinese (zh) 同伦类型论		7
5	Spanish (es) Teoría de tipos homotópica		4
6	Vietnamese (vi) Lý thuyết hình thái đồng luân		2

More...

#	Language	Value
en	English Homotopy type theory
es	Spanish Teoría de tipos homotópica
fr	French Théorie homotopique des types
ru	Russian Гомотопическая теория типов
vi	Vietnamese Lý thuyết hình thái đồng luân
zh	Chinese 同伦类型论

Best Rank

English: #87290 06.2021

Global: #154364 06.2021

Best Rank

English: #9875 02.2015

Global: #40103 12.2014

On 12 August 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Cristiano Ronaldo, Wednesday, Georgina Rodríguez, ChatGPT, Weapons, Jenna Ortega, deaths in 2025, Taylor Swift, Miguel Uribe Turbay, 2025–26 UEFA Champions League.

In English Wikipedia the most popular articles on that day were: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information