Theory of mathematical structures by Adámek, Jiří ing.