“…As we discussed in the introduction, we tend to classify models can for concurrency according to their 'level of abstraction' (see, e.g., [80,97,79]), that is, according to those aspects of the behaviour of distributed systems they focus on and those they deliberately abstract from. In stating and proving relationships between models viewed under this perspective, the language of category theory as proven in many contexts to be very useful, as it is capable of abstracting away from unwanted details of the individual models and, therefore, of expressing the more essential aspects succinctly and in great generality.…”