Email zadetek: Basic category theory for computer scientists