Algebraic Theories A Categorical Introduction to General Algebra Adámek Rosický

Algebraic TheoriesA Categorical Introduction to General Algebra\nAuthor(s): J. Admek, J. Rosick, E. M. Vitale, F. W. Lawvere\nFormat: Hardback\nPublisher: Cambridge University Press, United Kingdom\nImprint: Cambridge University Press\nISBN-13: 9780521119221, 978-0521119221\nSynopsis\nAlgebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully developed book gives a systematic introduction to algebra based on algebraic theories that is accessible to both graduate students and researchers. It will facilitate interactions of general algebra, category theory and computer science. A central concept is that of sifted colimits - that is, those commuting with finite products in sets. The authors prove the duality between algebraic categories and algebraic theories and discuss Morita equivalence between algebraic.