# nLab codimension

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

Created on March 3, 2011 11:38:39 by Urs Schreiber (131.211.232.194)