"Introduction to Categories and Categorial Logic (draft)" - читать интересную книгу автора (Samson Abramsky, Nikos Tzevelekos)