nLab higher homotopy

Definition

A homotopy of homotopies, existing in higher homotopy $n$-types of higher $n$.

Related concepts

• homotopy theory

• identity type

• higher structures

  • higher category theory, higher topos theory

  • higher geometry

  • higher observational type theory

  • higher gauge transformation

  • higher differential geometry

  • higher Lie theory

  • higher prequantum geometry

  • higher complex analytic geometry

  • higher algebra, homotopical algebra

  • higher linear algebra

  • higher category theory and physics