Tropological systems are points of quantales

DOI10.1016/S0022-4049(01)00156-6MaRDI QIDQ1612161zbMATH OpenFDO

Authors Pedro Resende

Publication date 22 August 2002

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-4049(01)00156-6

zbMATH Keywords

concurrencyfactor quantalesnucleipoints of quantalesquantalesspectrumtropological system

Mathematics Subject Classification ID

Quantales (06F07) Categories of machines, automata (18B20) Categories in geometry and topology (18F99) Other ``noncommutative mathematics based on (C^*)-algebra theory (46L89) Topological spaces and generalizations (closure spaces, etc.) (54A05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4079712
• Quantales, observational logic and process semantics
• Semigroups in complete lattices. Quantales, modules and related topics
• Non-commutative topology and quantales
• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Gabriel topologies on coherent quantales
• Prime elements of non-integral quantales and their applications.
• Localic sup-lattices and tropological systems.
• An essay on noncommutative topology
• scientific article; zbMATH DE number 436449

Cites work

• A Gelfand representation theory for C^ *-algebras
• An extension of the Galois theory of Grothendieck
• Characterizing spatial quantales
• Constructing locales from quantales
• scientific article; zbMATH DE number 426314 (Why is no real title available?)
• scientific article; zbMATH DE number 4030272 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1258311 (Why is no real title available?)
• scientific article; zbMATH DE number 1282770 (Why is no real title available?)
• scientific article; zbMATH DE number 1512860 (Why is no real title available?)
• scientific article; zbMATH DE number 1512862 (Why is no real title available?)
• scientific article; zbMATH DE number 3326336 (Why is no real title available?)
• Left ideal structure of \(C^*\)-algebras
• Localic sup-lattices and tropological systems.
• On a duality of quantales emerging from an operational resolution
• On quantales and spectra of C*-algebras
• On the foundations of noncommutative geometry
• On the quantisation of points
• On the quantisation of spaces
• Quantales and (noncommutative) linear logic
• Quantales, finite observations and strong bisimulation
• Quantales, observational logic and process semantics
• Simple involutive quantales
• Spatial quantales
• The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem
• The spectral theory of commutative C^∗-algebras: The constructive spectrum

Cited in

(9)

• Localic sup-lattices and tropological systems.
• Sup-lattice 2-forms and quantales
• A noncommutative theory of Penrose tilings
• An algebraic generalization of Kripke structures
• scientific article; zbMATH DE number 1512862 (Why is no real title available?)
• The limit and tensor product in the category of Q-P quantale modules
• Generalized fuzzy topology versus non-commutative topology
• Constructing Q-algebras from Q-modules
• A categorical equivalence between logical quantale modules and quantum B‐modules

This page was built for publication: Tropological systems are points of quantales

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