A survey on the categorical term construction with applications

DOI10.1016/J.FSS.2015.07.003zbMATH Open1386.18014OpenAlexW874391335MaRDI QIDQ1677940FDOQ1677940

Authors: Ulrich Höhle, Jari Kortelainen, Patrik Eklund 

Publication date: 14 November 2017

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2015.07.003

Recommendations

• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• On the construction of free algebras for equational systems
• Free algebras in varieties.
• scientific article; zbMATH DE number 2068088
• Publication:4207951

zbMATH Keywords

algebracategory theoryquantaleterm monadsfunctor algebras

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Quantales (06F07) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Fuzzy sets
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• L-fuzzy sets
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• The structure of Galois connections
• Powersets of terms and composite monads
• Fuzzy terms
• Specification of abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tensor Products and Bimorphisms
• Adding fuzziness to terms and powerobjects using a monadic approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fuzzy sets as two-sorted algebras

Cited In (4)

• Modules in the Category $$\mathtt {\mathbf{Sup}}$$
• Title not available (Why is that?)
• Non-commutative Quantales for Many-Valuedness in Applications
• Categorization generated by extended prototypes -- an axiomatic approach

This page was built for publication: A survey on the categorical term construction with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1677940)