cogenerator of k-spaces