Topic
Quantale
About: Quantale is a research topic. Over the lifetime, 358 publications have been published within this topic receiving 4345 citations.
Papers published on a yearly basis
Papers
1 Jan 2008
TL;DR: In this paper, the basic notions of quantales and quantale modules are introduced and a survey of the recent developments involving representations and projectivity in quantales is given. But quantales do not form a variety but many of the methods of universal algebra can still be still used.
Abstract: Publisher Summary This chapter introduces the basic notions in theory of quantales. It describes the aspects of algebraic and categorical properties of quantales and quantale modules. This chapter also summarizes the recent developments involving representations and projectivity in quantales. Because of infinitesimal joins, quantales do not form a variety but many of the methods of universal algebra can be still used. Quantales are also applied in linear and other substructural logics and automaton theory. An important moment in the development of the theory of quantales was the realization that quantales give the semantics for propositional linear logic in the same way as Boolean algebras give semantics for classical propositional logic.
110 citations
TL;DR: In this paper, the problem of defining the concept of point of the spectrum of a -algebra A, which is one of the motivating examples of a Gelfand quantale, is considered.
103 citations
TL;DR: In this article, a systematic investigation of completeness and directed completeness of @W-categories is presented, based on the theory of @F-completeness for enriched categories.
103 citations
TL;DR: This paper introduces a new approach to the theory of Ω-categories enriched by a frame and introduces concepts of adjoints and a kind of convergence in an L-Fuzzy poset that makes the theory “constructive” or “computable”.
99 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2021 | 34 |
| 2020 | 22 |
| 2019 | 23 |
| 2018 | 27 |
| 2017 | 22 |
| 2016 | 16 |