A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory

This paper contributes to recent investigations of the use of homotopy type theory to give machine-checked proofs of constructions from homotopy theory. We present a mechanized proof of a result called the Blakers-Massey connectivity theorem, which relates the higher-dimensional loop structures of t...

Celý popis

Podrobná bibliografie

Vydáno v:	LICS 2016 : proceedings of the 31st annual ACM-IEEE Symposium on Logic in Computer Science : July 5-8, 2016, New York City, USA s. 565 - 574
Hlavní autoři:	Hou (Favonia), Kuen-Bang, Finster, Eric, Licata, Daniel R., Lumsdaine, Peter LeFanu
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 05.07.2016
Edice:	ACM Conferences
Témata:	matematisk logik Mathematical Logic Theory of computation Theory of computation > Logic
ISBN:	9781450343916, 1450343910
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!