Homotopy type theory

Known as: Homotopic type theory, Fibrations-as-Types interpretation, Fibrations-as-types

In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

In Girard’s system F, one can give impredicative encodings of various inductive types, such as the coproduct and the type of…

2014

Homotopy type theory is a new foundation of mathematics under current development. To compare it with the existing set theoretic…

2013

We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the…

2009

We consider fibrations by abelian surfaces and K3 surfaces over a one dimensional base that are Calabi-Yau and we obtain dual…

2007

Abstract. We continue the investigation of CW homotopy type of spacesof continuous functions between two CW complexes begun by J…

2006

For spaces localized at 2, the classical EHP fibrations [1, 13] ΩS S ΩS ΩS play a crucial role for the computations of the…

2004

We construct a new homotopy fibration at the prime 5, involving E8 and Harper’s rank two finite mod-5 H-space. We then use this…

2000

In this paper we will investigate torus actions on complete manifolds with calibrations. For Calabi-Yau manifolds M^2n with a…

1990

We prove the result asserted in the title. The object of this note is to prove the assertion of its title in a slightly more…

1979