Theory of mathematical structures - Adámek, Jiří (rz1, 1983)