Basic Category Theory for Computer Scientists, editura Mit University Press Group Ltd