Homotopy Type Theory shape > history (Rev #4, changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

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 discrete space of the homotopy type TT and p !(S)p_!(S) is the fundamental homotopy type of the space SS.

See also

Revision on June 15, 2022 at 23:00:58 by Anonymous?. See the history of this page for a list of all contributions to it.