An extension of Priestley duality to fuzzy topologies and positive MV-algebras
Fuente:
arXiv
Guardado en:
| Autores principales: | Ortiz, Marby Zuley Bolaños, Russo, Ciro |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
por: Russo, Ciro
Publicado: (2025)
por: Russo, Ciro
Publicado: (2025)
Point-free MV-topologies
por: Ortiz, Marby Zuley Bolaños, et al.
Publicado: (2026)
por: Ortiz, Marby Zuley Bolaños, et al.
Publicado: (2026)
The category of propositional deductive systems
por: Russo, Ciro
Publicado: (2025)
por: Russo, Ciro
Publicado: (2025)
Etale algebras over finite Heyting algebras
por: Evgeny, Kuznetsov
Publicado: (2024)
por: Evgeny, Kuznetsov
Publicado: (2024)
Finite coproducts, coregularity and coexactness for profinite interior algebras
por: De Berardinis, Matteo
Publicado: (2025)
por: De Berardinis, Matteo
Publicado: (2025)
A monoidal category of dependently sorted algebraic theories I: syntax
por: Almeida, Daniel
Publicado: (2025)
por: Almeida, Daniel
Publicado: (2025)
Complete Diagrammatic Axiomatisations of Relative Entropy
por: Sarkis, Ralph, et al.
Publicado: (2026)
por: Sarkis, Ralph, et al.
Publicado: (2026)
Codensity: Isbell duality, pro-objects, compactness and accessibility
por: Di Liberti, Ivan
Publicado: (2019)
por: Di Liberti, Ivan
Publicado: (2019)
An algebra modality admitting countably many deriving transformations
por: Vienney, Jean-Baptiste
Publicado: (2025)
por: Vienney, Jean-Baptiste
Publicado: (2025)
Various topos of types constructions
por: Kanalas, Kristóf
Publicado: (2025)
por: Kanalas, Kristóf
Publicado: (2025)
Existence Theorem for Cumulative Universe Towers and Its Applications
por: Reizi, Higuchi Joaquim
Publicado: (2025)
por: Reizi, Higuchi Joaquim
Publicado: (2025)
Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
por: Rogozin, Daniel
Publicado: (2025)
por: Rogozin, Daniel
Publicado: (2025)
A constructive approach to the double-categorical small object argument
por: Berg, Benno van den, et al.
Publicado: (2025)
por: Berg, Benno van den, et al.
Publicado: (2025)
Stable first order theories as simplicial profinite sets
por: Gavrilovich, Misha
Publicado: (2025)
por: Gavrilovich, Misha
Publicado: (2025)
De Morgan's law in toposes I
por: Caramello, Olivia, et al.
Publicado: (2025)
por: Caramello, Olivia, et al.
Publicado: (2025)
Universal categories
por: Schoutens, Hans
Publicado: (2025)
por: Schoutens, Hans
Publicado: (2025)
What can Topology tell us about Logical Complexity?
por: Kihara, Takayuki, et al.
Publicado: (2026)
por: Kihara, Takayuki, et al.
Publicado: (2026)
Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
por: Abramsky, Samson, et al.
Publicado: (2022)
por: Abramsky, Samson, et al.
Publicado: (2022)
Pure maps are strict monomorphisms
por: Kanalas, Kristóf
Publicado: (2024)
por: Kanalas, Kristóf
Publicado: (2024)
Weak saturation and weak amalgamation property
por: Di Liberti, Ivan
Publicado: (2017)
por: Di Liberti, Ivan
Publicado: (2017)
Formal Model Theory & Higher Topology
por: Di Liberti, Ivan
Publicado: (2020)
por: Di Liberti, Ivan
Publicado: (2020)
Quasitoposes as elementary quotient completions
por: Maietti, Maria Emilia, et al.
Publicado: (2021)
por: Maietti, Maria Emilia, et al.
Publicado: (2021)
Adding a constant and an axiom to a doctrine
por: Guffanti, Francesca
Publicado: (2023)
por: Guffanti, Francesca
Publicado: (2023)
A note on computable étale spaces
por: de Brecht, Matthew
Publicado: (2026)
por: de Brecht, Matthew
Publicado: (2026)
Duality for coalgebras for Vietoris and monadicity
por: Abbadini, Marco, et al.
Publicado: (2023)
por: Abbadini, Marco, et al.
Publicado: (2023)
Positively closed $Sh(B)$-valued models
por: Kanalas, Kristóf
Publicado: (2024)
por: Kanalas, Kristóf
Publicado: (2024)
Rich doctrines and Henkin's Theorem
por: Guffanti, Francesca
Publicado: (2023)
por: Guffanti, Francesca
Publicado: (2023)
Condensed Sets and the Solovay Model
por: Bannister, Nathaniel, et al.
Publicado: (2026)
por: Bannister, Nathaniel, et al.
Publicado: (2026)
Displayed Type Theory and Semi-Simplicial Types
por: Kolomatskaia, Astra, et al.
Publicado: (2023)
por: Kolomatskaia, Astra, et al.
Publicado: (2023)
Classical Set Theory: Theory of Sets and Classes
por: Banakh, Taras
Publicado: (2020)
por: Banakh, Taras
Publicado: (2020)
Unstable independence from the categorical point of view
por: Kamsma, Mark, et al.
Publicado: (2023)
por: Kamsma, Mark, et al.
Publicado: (2023)
Localic Relations with Open Cones
por: van der Schaaf, Nesta
Publicado: (2026)
por: van der Schaaf, Nesta
Publicado: (2026)
Categorifying computable reducibilities
por: Trotta, Davide, et al.
Publicado: (2022)
por: Trotta, Davide, et al.
Publicado: (2022)
Canonical Extensions of Quantale-Enriched Categories
por: Kurz, Alexander, et al.
Publicado: (2026)
por: Kurz, Alexander, et al.
Publicado: (2026)
On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
por: Forsman, David
Publicado: (2024)
por: Forsman, David
Publicado: (2024)
Gabriel-Ulmer Duality for Topoi, An Introduction
por: Pasqualone, Federica
Publicado: (2024)
por: Pasqualone, Federica
Publicado: (2024)
From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions
por: Zuluaga, William, et al.
Publicado: (2026)
por: Zuluaga, William, et al.
Publicado: (2026)
Left adjoint to precomposition in elementary doctrines
por: Guffanti, Francesca
Publicado: (2023)
por: Guffanti, Francesca
Publicado: (2023)
Cartesian closed varieties II: links to algebra and self-similarity
por: Garner, Richard
Publicado: (2023)
por: Garner, Richard
Publicado: (2023)
Un cadre paraconsistant pour l'{é}valuation de similarit{é} dans les bases de connaissances
por: Medina, José-Luis Vilchis
Publicado: (2025)
por: Medina, José-Luis Vilchis
Publicado: (2025)
Ejemplares similares
-
Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
por: Russo, Ciro
Publicado: (2025) -
Point-free MV-topologies
por: Ortiz, Marby Zuley Bolaños, et al.
Publicado: (2026) -
The category of propositional deductive systems
por: Russo, Ciro
Publicado: (2025) -
Etale algebras over finite Heyting algebras
por: Evgeny, Kuznetsov
Publicado: (2024) -
Finite coproducts, coregularity and coexactness for profinite interior algebras
por: De Berardinis, Matteo
Publicado: (2025)