A subobject of dimension $k$ inside an object of dimension $d$ is said to have codimension $d-k$.
A submanifold of dimension $k$ inside a manifold of dimension $d$ has codimension $d-k$.
In algebraic geometry a subvariety? of codimension 1 is called a divisor (algebraic geometry).
Last revised on May 31, 2014 at 06:06:21. See the history of this page for a list of all contributions to it.