What is uni A categorical view of substitution, equation and solution (1989)

by Joseph Goguen
Venue:Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques