# Contents

## Idea

A subobject of dimension $k$ inside an object of dimension $d$ is said to have codimension $d-k$.

## Examples

• 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).

Revised on May 31, 2014 06:06:21 by Urs Schreiber (88.128.80.68)