A categorial view of process refinement