"Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)" - читать интересную книгу автора (Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß)