Tropological systems are points of quantales
From MaRDI portal
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) Categories in geometry and topology (18F99) Quantales (06F07) Categories of machines, automata (18B20)
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
- 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?)
- A Gelfand representation theory for \(C^ *\)-algebras
- An extension of the Galois theory of Grothendieck
- Characterizing spatial quantales
- Constructing locales from quantales
- 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)- 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
- A categorical equivalence between logical quantale modules and quantum B‐modules
- Constructing \(Q\)-algebras from \(Q\)-modules
- An algebraic generalization of Kripke structures
- A noncommutative theory of Penrose tilings
- Localic sup-lattices and tropological systems.
- Sup-lattice 2-forms and quantales
- Generalized fuzzy topology versus non-commutative topology
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)
