Homotopy Type Theory infinitesimal shape > history (Rev #1)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

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 April 7, 2022 at 03:39:56 by Anonymous?. See the history of this page for a list of all contributions to it.

DiscussNext revision (2 more)Current version of pageHistory (2 revisions)Rollback Source