# nLab codimension

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