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.

2014

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

2014

This note is a response to Bas Spitter's email of 28 February 2014 about ML4PG: "We (Jason actually) are adding dependency…

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…

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

1978

0. Introduction. Let m: S3 X S3 __ S3 be a multiplication on the 3-sphere 53 and let a E r3(53) Z be a generator. Recall that…

1976

For F = R, C or H an F-axial map is defined to be an axial map RPm x RPm -* RPm+k equivariant with respect to diagonal and…