We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension ...