Title: Category theory and models for parallel computation