nLab
codimension

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