  We study the category $\mathcal{O}$ for a general Coxeter system using a
formulation of Fiebig. The translation functors, the Zuckerman functors and the
twisting functors are defined. We prove the fundamental properties of these
functors, the duality of Zuckerman functor and generalization of Verma's result
about homomorphisms between Verma modules.
