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