Quantale valued sets: categorical constructions and properties

DOI10.1007/S11225-024-10138-WMaRDI QIDQ6987212zbMATH OpenFDO

Authors José Goudet Alvim, Hugo L. Mariano

Publication date 7 May 2025

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11225-024-10138-W

zbMATH Keywords

internal truth valuesquantale valued setssemicartesian quantale

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract model theory (03C95) Topoi (18B25) Accessible and locally presentable categories (18C35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical structures (18D99)

Cites work

• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Convergence and quantale-enriched categories
• Grothendieck quantaloids for allegories of enriched categories
• Groupoid sheaves as quantale sheaves
• scientific article; zbMATH DE number 4030272 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 53544 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1512860 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Metric spaces, generalized logic, and closed categories
• Monoidal closed categories, weak topoi and generalized logics
• Non-commutative topology and quantales
• On sheaves on semicartesian quantales and their truth values
• Quantales and (noncommutative) linear logic
• Quantales and their sheaves
• Sheaves and sheafification on Q-sites
• Sheaves over right sided idempotent quantales

This page was built for publication: Quantale valued sets: categorical constructions and properties

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