Equational specifications of abstract data types are related by
morphisms to form a category spec of specifications. Extensions are defined
to be special morphisms, and weak extensions are introduced as a generalization.
On this basis, a conceptually simple but powerful notion of implementation
is given. The effects of these concepts on the associated initial
algebras are investigated, and it is shown that implementations can be done
in multiple levels.