Algebraic theories : a categorical introduction to general algebra

by Adámek, Jiří, Rosický, Jiří, Vitale, E. M.
Published 2011