# Contents

## 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.