"Category Theory and Computer Programming" - читать интересную книгу автора (David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard)