nLab
codimension

A subobject of dimension kk inside an object of dimension dd is said to have codimension dkd-k.

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