"Asperti A., Longo G. Categories, types, and structures. Introduction to category theory for computer scientists (1990)(295s).pdf" - читать интересную книгу автора