Non-commutative topology and quantales

DOI10.1023/A:1005267714448zbMath1008.46026OpenAlexW1607166613MaRDI QIDQ1582311

Marcelo E. Coniglio, Francisco Miraglia

Publication date: 21 April 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005267714448

zbMATH Keywords

\(C^*\)-algebrasseparationnon-commutative topologycategorial model theoryorthogonality in quantum spacesstalks of sheaves over quantales

Mathematics Subject Classification ID

Noncommutative topology (46L85) Categorical logic, topoi (03G30) Quantales (06F07) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items

The points and diameters of quantales, Coproduct and amalgamation of deductive systems by means of ordered algebras, Quantale algebras as lattice-valued quantales, Generalized fuzzy topology versus non-commutative topology, Nuclei and conuclei on residuated lattices, CHARACTERIZATION OF PROJECTIVE QUANTALES