"Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics, 184)" - читать интересную книгу автора (J. Adámek, J. Rosický, E. M. Vitale, F. W. Lawvere)