An extension of the fuzzy unit interval to a tensor product with completely distributive first factor

DOI10.1016/j.fss.2018.07.002zbMath1423.06030OpenAlexW2820587836MaRDI QIDQ2329034

Javier Gutiérrez García, Ulrich Höhle, Tomasz Kubiak

Publication date: 17 October 2019

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

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

zbMATH Keywords

completely distributive latticesupercompactnessUrysohn lemmatensor product of complete latticessymmetric monoidal closed category\(\vartriangleleft\)-separability\(L\)-fuzzy modification of complete distributivitycategory \(\mathsf{sup}\)Hutton fuzzy unit intervalTietze-Urysohn extension theorem

Mathematics Subject Classification ID

Complete distributivity (06D10) Complete lattices, completions (06B23) Fuzzy topology (54A40)

Related Items

Some partial results on the cancellation law for the tensor product of complete lattices ⋮ Some characterizations of the tensor product of complete lattices with applications to quantales

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical accommodation of various notions of fuzzy topology
• On (R(L),+)
• The tensor product of continuous lattices
• Insertion of lattice-valued and hedgehog-valued functions
• Representation theorems for L-fuzzy quantities
• Normality in fuzzy topological spaces
• Some questions in fuzzy topology
• On the \(L\)-fuzzy Brouwer fixed point theorem
• Semigroups in complete lattices. Quantales, modules and related topics
• An insertion theorem for continuous \(\mathbb I(L)\)-valued functions and its consequences
• Forty years of Hutton fuzzy unit interval
• The structure of Galois connections
• Stone's representation theorem in fuzzy topology
• Tensor products of complete lattices and their application in constructing quantales
• Tight Galois Connections and Complete Distributivity
• An extension of the Galois theory of Grothendieck
• Completely distributive latices
• Tensor Products and Bimorphisms
• A Subdirect-Union Representation for Completely Distributive Complete Lattices