Homotopy Type Theory smooth space > history (Rev #3, changes)

Showing changes from revision #2 to #3: Added | ~~Removed~~ | ~~Chan~~ged

~~Contents~~

Definition
See also

~~Definition~~
~~A space? $S$ is smooth if the unit? $f:S \to \mathfrak{J}(S)$ from $S$ to the infinitesimal shape of $S$ is an effective epic mapping.~~
~~See also~~

~~differential geometry~~

~~category: not redirected to nlab yet~~

Revision on June 18, 2022 at 16:03:44 by Anonymous?. See the history of this page for a list of all contributions to it.