umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A survey on the categorical term construction with applications
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2016 (English)In: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 298, p. 128-157Article in journal (Refereed) Published
Resource type
Text
Abstract [en]

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, p. 128-157
Keywords [en]
Functor algebras, Term monads, Quantale, Algebra, Category theory
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-123036DOI: 10.1016/j.fss.2015.07.003ISI: 000376779800009OAI: oai:DiVA.org:umu-123036DiVA, id: diva2:956030
Available from: 2016-08-29 Created: 2016-06-27 Last updated: 2018-06-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Eklund, Patrik

Search in DiVA

By author/editor
Eklund, Patrik
By organisation
Department of Computing Science
In the same journal
Fuzzy sets and systems (Print)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 0 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf