Stav dette: Category theory and computer science :