Title: High level distributed transition systems in categories