A survey on the categorical term construction with applications
2016 (English)In: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 298, 128-157 p.Article in journal (Refereed) PublishedText
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.
Place, publisher, year, edition, pages
2016. Vol. 298, 128-157 p.
Functor algebras, Term monads, Quantale, Algebra, Category theory
IdentifiersURN: urn:nbn:se:umu:diva-123036DOI: 10.1016/j.fss.2015.07.003ISI: 000376779800009OAI: oai:DiVA.org:umu-123036DiVA: diva2:956030