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

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

Contents

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

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