Category theory and models for parallel computation | lit.salon