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

Showing changes from revision #0 to #1: Added | ~~Removed~~ | ~~Chan~~ged

Contents

Definition
See also

Definition

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

See also

differential geometry

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.