Buchumschlag

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dagnino, Francesco, Farjudian, Amin, Moggi, Eugenio
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science 06B35, 06F07 F.3.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Continuous Domains for Function Spaces Using Spectral Compactification
von: Farjudian, Amin, et al.
Veröffentlicht: (2024)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
von: Edalat, Abbas, et al.
Veröffentlicht: (2026)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

The uniform Kruskal theorem over RCA$_0$
von: Uftring, Patrick
Veröffentlicht: (2025)

Well-quasi-orders on finite trees and transfinite sequences
von: Chopra, Alakh Dhruv, et al.
Veröffentlicht: (2026)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
von: Spreen, Dieter
Veröffentlicht: (2025)

On Semi-simplicity Results in Residuated Lattices
von: Rostami, Esmaeil
Veröffentlicht: (2025)

Many-valued aspects of tense an related operators
von: Botur, Michal, et al.
Veröffentlicht: (2025)

Duality Theory for Bounded Lattices: A Comparative Study
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

Domains, Information Frames, and Their Logic
von: Spreen, Dieter
Veröffentlicht: (2025)

On $\mathscr{T}$-based orthomodular dynamic algebras
von: Paseka, Jan, et al.
Veröffentlicht: (2026)

Fuzzy Galois connections on fuzzy sets
von: García, Javier Gutiérrez, et al.
Veröffentlicht: (2017)

The associative-poset point of view on right regular bands
von: Kuperman, Joel, et al.
Veröffentlicht: (2025)

On $z$-elements of multiplicative lattices
von: Dube, Themba, et al.
Veröffentlicht: (2024)

Ideals in quantales, II
von: Goswami, Amartya
Veröffentlicht: (2023)

Higher Catoids, Higher Quantales and their Correspondences
von: Calk, Cameron, et al.
Veröffentlicht: (2023)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
von: Ramani, Mahesh, et al.
Veröffentlicht: (2026)

Unital Specker $\ell$-groups and boolean multispaces
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Kites and representations of pseudo MV-algebras
von: Botur, Michal, et al.
Veröffentlicht: (2025)

Some functor calculus on semirings
von: Biswas, Pronay, et al.
Veröffentlicht: (2025)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

Primitive quantales
von: Goswami, Amartya, et al.
Veröffentlicht: (2025)

Semiframes: the algebra of semitopologies and actionable coalitions
von: Gabbay, Murdoch J.
Veröffentlicht: (2023)

Grothendieck rings of ordered subgroups of $\mathbb{Q}$
von: Bhardwaj, Neer, et al.
Veröffentlicht: (2025)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
von: Putra, Juanda Kelana, et al.
Veröffentlicht: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
von: Fusco, Ludovico, et al.
Veröffentlicht: (2025)

A Gelfand duality for continuous lattices
von: Chen, Ruiyuan
Veröffentlicht: (2023)

(Extra)ordinary equivalences with the ascending/descending sequence principle
von: Fiori-Carones, Marta, et al.
Veröffentlicht: (2021)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

Esakia order-compactifications and locally Esakia spaces
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

On the symmetry behind duality
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Two-dimensional Kripke Semantics I: Presheaves
von: Kavvos, G. A.
Veröffentlicht: (2024)

A Classifying Topos for the Spectrum of Equivalences
von: Oggad, Kenan
Veröffentlicht: (2026)