Relational algebras - MaRDI portal

Cited in

(only showing first 100 items - show all)

Lawvere completeness in topology
Local adjunctions
Homomorphisms, homomorphic relations and power algebras
A new formalism for relational algebra
Equational aspects of ultrafilter convergence
Categories
Quantalic topological theories
A categorical approach to the maximum theorem
Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
Normality, regularity and contractive realvalued maps
Predicate liftings and functor presentations in coalgebraic expression languages
Metric, topology and multicategory -- a common approach
Taut monads and T0-spaces.
Monadic convergence structures revisited
The \(\top\)-filter monad and its applications
Separated and prime compactifications
Duality theory for enriched Priestley spaces
On bisimilarity in lambda calculi with continuous probabilistic choice
Applications of Scott-closed sets in convex structures
The enriched Vietoris monad on representable spaces
Covering morphisms in categories of relational algebras
Monads in topology
The Vietoris monad and weak distributive laws
Another note on effective descent morphisms of topological spaces and relational algebras
Strict monadic topology. I: First separation axioms and reflections
On a lax-algebraic characterization of closed maps
On exponentiability of étale algebraic homomorphisms
A four for the price of one duality principle for distributive spaces
Topological theories and closed objects
Quantale-valued topological spaces via closure and convergence
Kleisli compositions for topological spaces
Exponentiation for unitary structures
Regularity for relational algebras and approach spaces
Injective hulls of quantale-enriched multicategories
Categorical foundations of topology with applications to quantaloid enriched topological spaces
Extending relational algebra with similarities
Relation lifting, a survey
Domains occur among spaces as strict algebras among lax
Kleisli monoids describing approach spaces
scientific article; zbMATH DE number 4203707 (Why is no real title available?)
An Australian conspectus of higher categories
Every theory is algebraic and topologic
scientific article; zbMATH DE number 4087078 (Why is no real title available?)
Proof systems for Moss' coalgebraic logic
scientific article; zbMATH DE number 130895 (Why is no real title available?)
scientific article; zbMATH DE number 3539402 (Why is no real title available?)
scientific article; zbMATH DE number 3550920 (Why is no real title available?)
Coherent Extensions and Relational Algebras
scientific article; zbMATH DE number 3597042 (Why is no real title available?)
Modalities in the Stone age: a comparison of coalgebraic logics
scientific article; zbMATH DE number 1303457 (Why is no real title available?)
Relation algebra with multi-relations
scientific article; zbMATH DE number 475192 (Why is no real title available?)
Descent morphisms and a van Kampen theorem in categories of lax algebras
Lax algebra meets topology
Codensity lifting of monads and its dual
Convergence and quantale-enriched categories
Topological properties of non-Archimedean approach spaces
scientific article; zbMATH DE number 6887211 (Why is no real title available?)
Kleisli enriched
Extending set functors to generalised metric spaces
The comprehensive factorization of Burroni's T-functors
scientific article; zbMATH DE number 7377652 (Why is no real title available?)
Convexity via Weak Distributive Laws
scientific article; zbMATH DE number 7559483 (Why is no real title available?)
Effective étale-descent morphisms in the category of M-ordered sets
ON GROUPING IN RELATIONAL ALGEBRA
Lax algebras via initial monad morphisms: APP, TOP, MET and ORD
Towards Stone duality for topological theories
Approximation in quantale-enriched categories
An algebraic description of regular epimorphisms in topology
scientific article; zbMATH DE number 3389217 (Why is no real title available?)
Relational and algebraic methods in computer science
Algebraic representation of frame-valued continuous lattices via the open filter monad
Injective spaces via adjunction
scientific article; zbMATH DE number 7696889 (Why is no real title available?)
Up-to techniques for behavioural metrics via fibrations
Lax Liftings and Lax Distributive Laws
Coalgebraic semantics of modal logics: an overview
A note on effective descent morphisms of topological spaces and relational algebras
On the metrical and quantalic versions of the -autonomous category of sup-lattices
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
A fibrational tale of operational logical relations: pure, effectful and differential
Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
Stone duality for relations
On the probabilistic metrizability of approach spaces
On monoids in the category of sets and relations
The relational quotient completion
Nerves of generalized multicategories
Relational connectors and heterogeneous simulations
Quantale-valued convex structures as lax algebras
The Scott open V-set monad and its categories of algebras
0-ideal monad and its applications to approach spaces
No go theorems: directed containers that do not distribute over distribution monads
A note on Mal'tsev objects
Toposes with enough points as categories of étale spaces
Identity-preserving Lax extensions and where to find them
On graded monads, distributive laws and costrong functors
Characterization of a category for monoidal topology
Many for the price of one duality principle for affine sets

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)