For a given entwining structure (A,C)ψ involving an algebra A, a coalgebra C, and an entwining map ψ : C ⊗ A → A ⊗ C, a category MA(ψ) of right (A,C)ψmodules is defined and its structure analysed. In particular, the notion of a measuring of (A,C)ψ to (Ã, C̃)ψ̃ is introduced, and certain functors between M C A(ψ) and M Ã (ψ̃) induced by such a measuring are defined. It is shown that these functors ...