Stav dette: Category Theory and Computer Programming