Category of Noncommutative CW Complexes

We expose the notion of noncommutative CW (NCCW) complexes, define noncommutative (NC) mapping cylinder and NC mapping cone, and prove the noncommutative Approximation Theorem. The long exact homotopy sequences associated with arbitrary morphisms are also deduced.