Homotopy Type Theory shape > history (Rev #1)

Contents

Definition

For a space? SS, the shape esh(S)\esh(S) is defined as

esh(S)p !(p !(S))\esh(S) \coloneqq p^!(p_!(S))

where p !(T)p^!(T) is the indiscrete space of the homotopy type TT and p !(S)p_!(S) is the fundamental homotopy type of the space SS.

See also

Revision on April 2, 2022 at 20:53:42 by Anonymous?. See the history of this page for a list of all contributions to it.