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

Showing changes from revision #2 to #3: 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) p^*(T) is the indiscrete discrete space of the homotopy typeTT and p !(S)p_!(S) is the fundamental homotopy type of the space SS.

See also

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