Homotopy Type Theory infinitesimal shape > history (changes)

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

Contents

< infinitesimal shape modality

Definition

For a space? SS, the infinitesimal shape 𝔍(S)\mathfrak{J}(S) is defined as

𝔍(S)i *(i *(S))\mathfrak{J}(S) \coloneqq i_*(i^*(S))

See also

Last revised on June 18, 2022 at 16:07:02. See the history of this page for a list of all contributions to it.