Category theory for telecommunication engineers