Homotopy Type Theory infinitesimally thickened point > history (Rev #1)

Contents

Definition

A space? SS is an infinitesimally thickened point if the infinitesimal shape of SS is contractible.

See also

Revision on April 7, 2022 at 03:22:23 by Anonymous?. See the history of this page for a list of all contributions to it.