Relational algebras
From MaRDI portal
Publication:5602969
DOI10.1007/BFb0060439zbMath0204.33202OpenAlexW4236251393MaRDI QIDQ5602969
Publication date: 1970
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0060439
Related Items (76)
The saturated prefilter monad ⋮ Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Unnamed Item ⋮ Relation lifting, a survey ⋮ Applications of Scott-closed sets in convex structures ⋮ On exponentiability of étale algebraic homomorphisms ⋮ A four for the price of one duality principle for distributive spaces ⋮ Unnamed Item ⋮ Regularity for relational algebras and approach spaces ⋮ Convexity via Weak Distributive Laws ⋮ Topological theories and closed objects ⋮ Kleisli monoids describing approach spaces ⋮ Unnamed Item ⋮ Local adjunctions ⋮ Quantale-valued topological spaces via closure and convergence ⋮ The comprehensive factorization of Burroni's T-functors ⋮ Injective hulls of quantale-enriched multicategories ⋮ Injective spaces via adjunction ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ Proof systems for Moss' coalgebraic logic ⋮ Quantalic topological theories ⋮ Algebraic representation of frame-valued continuous lattices via the open filter monad ⋮ Homomorphisms, homomorphic relations and power algebras ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Unnamed Item ⋮ Lax Liftings and Lax Distributive Laws ⋮ Descent morphisms and a van Kampen theorem in categories of lax algebras ⋮ Lax algebra meets topology ⋮ Coalgebraic semantics of modal logics: an overview ⋮ A note on effective descent morphisms of topological spaces and relational algebras ⋮ Kleisli enriched ⋮ Unnamed Item ⋮ Domains occur among spaces as strict algebras among lax ⋮ A categorical approach to the maximum theorem ⋮ Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) ⋮ Effective étale-descent morphisms in the category of M-ordered sets ⋮ Convergence and quantale-enriched categories ⋮ Codensity Lifting of Monads and its Dual ⋮ On monoids in the category of sets and relations ⋮ The enriched Vietoris monad on representable spaces ⋮ Covering morphisms in categories of relational algebras ⋮ Lax algebras via initial monad morphisms: APP, TOP, MET and ORD ⋮ Towards Stone duality for topological theories ⋮ Approximation in quantale-enriched categories ⋮ From quantale algebroids to topological spaces: fixed- and variable-basis approaches ⋮ An algebraic description of regular epimorphisms in topology ⋮ Monads in topology ⋮ Unnamed Item ⋮ Kleisli compositions for topological spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Exponentiation for unitary structures ⋮ Monadic convergence structures revisited ⋮ Normality, regularity and contractive realvalued maps ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ The \(\top\)-filter monad and its applications ⋮ Equational aspects of ultrafilter convergence ⋮ Categories ⋮ Characterization of a category for monoidal topology ⋮ Many for the price of one duality principle for affine sets ⋮ The Vietoris monad and weak distributive laws ⋮ Lawvere completeness in topology ⋮ Extending set functors to generalised metric spaces ⋮ Another note on effective descent morphisms of topological spaces and relational algebras ⋮ Strict monadic topology. I: First separation axioms and reflections ⋮ Unnamed Item ⋮ An Australian Conspectus of Higher Categories ⋮ Separated and prime compactifications ⋮ Duality theory for enriched Priestley spaces ⋮ On a lax-algebraic characterization of closed maps ⋮ Unnamed Item ⋮ Coherent Extensions and Relational Algebras ⋮ Metric, topology and multicategory -- a common approach ⋮ Taut monads and \(T0\)-spaces.
This page was built for publication: Relational algebras
