A survey on the categorical term construction with applications

This paper gives a survey on the categorical term construction based on the free algebra algorithm. In the framework of monoidal biclosed and cocomplete categories a possible concept of signature for finitary theories is introduced. Applications of these constructions are given in Goguen's category and in the category of complete lattices and join preserving maps.