Image de couverture de livre

From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zuluaga, William, Gimenez, Belén
Format:	Preprint
Publié:	2026
Sujets:	Logic Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Duality for coalgebras for Vietoris and monadicity
par: Abbadini, Marco, et autres
Publié: (2023)

Localic Relations with Open Cones
par: van der Schaaf, Nesta
Publié: (2026)

Gabriel-Ulmer Duality for Topoi, An Introduction
par: Pasqualone, Federica
Publié: (2024)

The Relational Quotient Completion
par: Dagnino, Francesco, et autres
Publié: (2024)

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Relative fixed points of functors
par: Schoen, Ezra, et autres
Publié: (2023)

Complete Diagrammatic Axiomatisations of Relative Entropy
par: Sarkis, Ralph, et autres
Publié: (2026)

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
par: Ellerman, David
Publié: (2020)

Stone Duality for Monads
par: Garner, Richard, et autres
Publié: (2026)

A note on computable étale spaces
par: de Brecht, Matthew
Publié: (2026)

A constructive approach to the double-categorical small object argument
par: Berg, Benno van den, et autres
Publié: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
par: Almeida, Daniel
Publié: (2025)

What can Topology tell us about Logical Complexity?
par: Kihara, Takayuki, et autres
Publié: (2026)

Condensed Sets and the Solovay Model
par: Bannister, Nathaniel, et autres
Publié: (2026)

Canonical Extensions of Quantale-Enriched Categories
par: Kurz, Alexander, et autres
Publié: (2026)

Various topos of types constructions
par: Kanalas, Kristóf
Publié: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
par: Reizi, Higuchi Joaquim
Publié: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
par: Rogozin, Daniel
Publié: (2025)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
par: Abramsky, Samson, et autres
Publié: (2022)

Pure maps are strict monomorphisms
par: Kanalas, Kristóf
Publié: (2024)

Weak saturation and weak amalgamation property
par: Di Liberti, Ivan
Publié: (2017)

Stable first order theories as simplicial profinite sets
par: Gavrilovich, Misha
Publié: (2025)

De Morgan's law in toposes I
par: Caramello, Olivia, et autres
Publié: (2025)

Formal Model Theory & Higher Topology
par: Di Liberti, Ivan
Publié: (2020)

Quasitoposes as elementary quotient completions
par: Maietti, Maria Emilia, et autres
Publié: (2021)

Adding a constant and an axiom to a doctrine
par: Guffanti, Francesca
Publié: (2023)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
par: Russo, Ciro
Publié: (2025)

The category of propositional deductive systems
par: Russo, Ciro
Publié: (2025)

Positively closed $Sh(B)$-valued models
par: Kanalas, Kristóf
Publié: (2024)

Rich doctrines and Henkin's Theorem
par: Guffanti, Francesca
Publié: (2023)

Universal categories
par: Schoutens, Hans
Publié: (2025)

Displayed Type Theory and Semi-Simplicial Types
par: Kolomatskaia, Astra, et autres
Publié: (2023)

Finite coproducts, coregularity and coexactness for profinite interior algebras
par: De Berardinis, Matteo
Publié: (2025)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

Unstable independence from the categorical point of view
par: Kamsma, Mark, et autres
Publié: (2023)

Categorifying computable reducibilities
par: Trotta, Davide, et autres
Publié: (2022)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
par: Forsman, David
Publié: (2024)

Left adjoint to precomposition in elementary doctrines
par: Guffanti, Francesca
Publié: (2023)

Etale algebras over finite Heyting algebras
par: Evgeny, Kuznetsov
Publié: (2024)