A survey on the categorical term construction with applications

作者：Eklund Patrik; Hohle Ulrich; Kortelainen Jari^*

来源：Fuzzy Sets and Systems, 2016, 298: 128-157.

DOI：10.1016/j.fss.2015.07.003

• Functor algebras
• Term monads
• Quantale
• Algebra
• Category theory

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.

• 出版日期2016-9-1