We introduce notions of finite presentation and co-exactness which serve as qualitative quantitative analogues finite-dimensionality for operator modules over completely contractive Banach algebras. With these we begin the development a local theory by introducing lifting property, nuclearity, semi-discreteness. For large class prove that property is equivalent to flatness, generalizing space r...