Relational algebras
From MaRDI portal
Publication:5602969
DOI10.1007/BFB0060439zbMATH Open0204.33202OpenAlexW4236251393MaRDI QIDQ5602969FDOQ5602969
Authors: Michael Barr
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
Cited In (92)
- Regularity for relational algebras and approach spaces
- Title not available (Why is that?)
- Proof systems for Moss' coalgebraic logic
- On monoids in the category of sets and relations
- Towards Stone duality for topological theories
- Convergence and quantale-enriched categories
- An algebraic description of regular epimorphisms in topology
- Local adjunctions
- Algebraic representation of frame-valued continuous lattices via the open filter monad
- Effective étale-descent morphisms in the category of M-ordered sets
- Characterization of a category for monoidal topology
- Categories
- Relational and algebraic methods in computer science
- Lawvere completeness in topology
- Categorical foundations of topology with applications to quantaloid enriched topological spaces
- A categorical approach to the maximum theorem
- Descent morphisms and a van Kampen theorem in categories of lax algebras
- Modalities in the Stone age: a comparison of coalgebraic logics
- Lax algebra meets topology
- Approximation in quantale-enriched categories
- The \(\top\)-filter monad and its applications
- Title not available (Why is that?)
- Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
- Injective spaces via adjunction
- A note on effective descent morphisms of topological spaces and relational algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Covering morphisms in categories of relational algebras
- Relation lifting, a survey
- The saturated prefilter monad
- A four for the price of one duality principle for distributive spaces
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Quantale-valued topological spaces via closure and convergence
- Coalgebraic semantics of modal logics: an overview
- Title not available (Why is that?)
- Kleisli enriched
- Topological theories and closed objects
- Many for the price of one duality principle for affine sets
- Kleisli monoids describing approach spaces
- Equational aspects of ultrafilter convergence
- Metric, topology and multicategory -- a common approach
- Representable \((\mathbb{T},\mathbf{V})\)-categories
- Lax algebras via initial monad morphisms: APP, TOP, MET and ORD
- Domains occur among spaces as strict algebras among lax
- Normality, regularity and contractive realvalued maps
- Another note on effective descent morphisms of topological spaces and relational algebras
- Predicate liftings and functor presentations in coalgebraic expression languages
- The enriched Vietoris monad on representable spaces
- Monads in topology
- A new formalism for relational algebra
- Kleisli compositions for topological spaces
- Homomorphisms, homomorphic relations and power algebras
- On exponentiability of étale algebraic homomorphisms
- Quantalic topological theories
- An Australian conspectus of higher categories
- Extending relational algebra with similarities
- Taut monads and \(T0\)-spaces.
- Exponentiation for unitary structures
- ON GROUPING IN RELATIONAL ALGEBRA
- Coherent Extensions and Relational Algebras
- Title not available (Why is that?)
- The comprehensive factorization of Burroni's T-functors
- Title not available (Why is that?)
- Topological properties of non-Archimedean approach spaces
- Applications of Scott-closed sets in convex structures
- A fibrational tale of operational logical relations: pure, effectful and differential
- The Vietoris monad and weak distributive laws
- Every theory is algebraic and topologic
- Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
- Codensity lifting of monads and its dual
- Title not available (Why is that?)
- On a lax-algebraic characterization of closed maps
- On bisimilarity in lambda calculi with continuous probabilistic choice
- Title not available (Why is that?)
- Stone duality for relations
- Relation algebra with multi-relations
- Monadic convergence structures revisited
- Lax Liftings and Lax Distributive Laws
- Up-to techniques for behavioural metrics via fibrations
- Injective hulls of quantale-enriched multicategories
- On the probabilistic metrizability of approach spaces
- Title not available (Why is that?)
- On the metrical and quantalic versions of the \(\ast\)-autonomous category of sup-lattices
- Title not available (Why is that?)
- Convexity via Weak Distributive Laws
- Title not available (Why is that?)
- Extending set functors to generalised metric spaces
- Separated and prime compactifications
- Duality theory for enriched Priestley spaces
- Title not available (Why is that?)
- Strict monadic topology. I: First separation axioms and reflections
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
This page was built for publication: Relational algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5602969)