umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A survey on the categorical term construction with applications
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
2016 (engelsk)Inngår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 298, s. 128-157Artikkel i tidsskrift (Fagfellevurdert) Published
Resurstyp
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.

sted, utgiver, år, opplag, sider
2016. Vol. 298, s. 128-157
Emneord [en]
Functor algebras, Term monads, Quantale, Algebra, Category theory
HSV kategori
Identifikatorer
URN: urn:nbn:se:umu:diva-123036DOI: 10.1016/j.fss.2015.07.003ISI: 000376779800009OAI: oai:DiVA.org:umu-123036DiVA, id: diva2:956030
Tilgjengelig fra: 2016-08-29 Laget: 2016-06-27 Sist oppdatert: 2018-06-07bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Eklund, Patrik

Søk i DiVA

Av forfatter/redaktør
Eklund, Patrik
Av organisasjonen
I samme tidsskrift
Fuzzy sets and systems (Print)

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 307 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf