On the public citation graph
Relational algebras
0 signed · 95 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bfb0083083openalex-snapshot
A triple theoretic construction of compact algebras
inferredcites →https://doi.org/10.1073/pnas.47.7.1043openalex-snapshot
AN ALGEBRA OF ADDITIVE RELATIONS
inferredcites →https://doi.org/10.1090/s0002-9947-1960-0123635-1openalex-snapshot
Homomorphisms of transformation groups
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-08442-8_101openalex-snapshot
Relational Automata in a Category and Their Languages
inferred← citeshttps://doi.org/10.1007/3-540-56625-2_10openalex-snapshot
An algebraic construction of predicate transformers
inferred← citeshttps://doi.org/10.1007/978-1-4471-3182-3_10openalex-snapshot
Partial Functions, Ordered Categories, Limits and Cartesian Closure
inferred← citeshttps://doi.org/10.1007/978-3-030-00389-0_5openalex-snapshot
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_10openalex-snapshot
Effectful Normal Form Bisimulation
inferred← citeshttps://doi.org/10.1007/978-3-030-57201-3_8openalex-snapshot
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas
inferred← citeshttps://doi.org/10.1007/978-3-030-71995-1_6openalex-snapshot
Combining Semilattices and Semimodules
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_5openalex-snapshot
Stone Duality for Relations
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3_2openalex-snapshot
Monadic Intersection Types, Relationally
inferred← citeshttps://doi.org/10.1007/978-3-031-90897-2_6openalex-snapshot
Relational Connectors and Heterogeneous Simulations
inferred← citeshttps://doi.org/10.1007/978-3-540-73859-6_16openalex-snapshot
Higher Dimensional Trees, Algebraically
inferred← citeshttps://doi.org/10.1007/978-3-642-22944-2_8openalex-snapshot
Model Constructions for Moss’ Coalgebraic Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-22944-2_9openalex-snapshot
Relation Liftings on Preorders and Posets
inferred← citeshttps://doi.org/10.1007/978-3-642-37075-5_10openalex-snapshot
Preorders on Monads and Coalgebraic Simulations
inferred← citeshttps://doi.org/10.1007/978-3-642-40206-7_7openalex-snapshot
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-44124-4_6openalex-snapshot
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-2529-3_16openalex-snapshot
Categories of Relations and Functional Relations
inferred← citeshttps://doi.org/10.1007/bf02017961openalex-snapshot
Homomorphisms, homomorphic relations and power algebras
inferred← citeshttps://doi.org/10.1007/bf02483095openalex-snapshot
Equational aspects of ultrafilter convergence
inferred← citeshttps://doi.org/10.1007/bfb0080865openalex-snapshot
Topological functors admitting generalized Cauchy-completions
inferred← citeshttps://doi.org/10.1007/s00012-015-0352-1openalex-snapshot
Characterization of a category for monoidal topology
inferred← citeshttps://doi.org/10.1007/s10485-007-9080-9openalex-snapshot
A Kleisli-based Approach to Lax Algebras
inferred← citeshttps://doi.org/10.1007/s10485-007-9095-2openalex-snapshot
Axioms for Sequential Convergence
inferred← citeshttps://doi.org/10.1007/s10485-008-9152-5openalex-snapshot
Lawvere Completeness in Topology
inferred← citeshttps://doi.org/10.1007/s10485-008-9169-9openalex-snapshot
Lawvere Completion and Separation Via Closure
inferred← citeshttps://doi.org/10.1007/s10485-013-9334-7openalex-snapshot
On a Lax-Algebraic Characterization of Closed Maps
inferred← citeshttps://doi.org/10.1007/s10485-013-9349-0openalex-snapshot
Covering Morphisms in Categories of Relational Algebras
inferred← citeshttps://doi.org/10.1007/s10485-014-9373-8openalex-snapshot
Many for the Price of One Duality Principle for Affine Sets
inferred← citeshttps://doi.org/10.1007/s10485-015-9412-0openalex-snapshot
Effective Étale-Descent Morphisms in the Category of M-ordered Sets
inferred← citeshttps://doi.org/10.1007/s10485-016-9456-9openalex-snapshot
Kleisli Monoids Describing Approach Spaces
inferred← citeshttps://doi.org/10.1007/s10485-019-09582-wopenalex-snapshot
The Vietoris Monad and Weak Distributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-024-09775-yopenalex-snapshot
Generalized Multicategories: Change-of-Base, Embedding, and Descent
inferred← citeshttps://doi.org/10.1007/s10485-025-09813-3openalex-snapshot
0-Ideal Monad and Its Applications to Approach Spaces
inferred← citeshttps://doi.org/10.1007/s11083-012-9267-zopenalex-snapshot
A Four for the Price of One Duality Principle for Distributive Spaces
inferred← citeshttps://doi.org/10.1016/j.entcs.2019.09.007openalex-snapshot
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice
inferred← citeshttps://doi.org/10.1016/j.fss.2010.01.004openalex-snapshot
From quantale algebroids to topological spaces: Fixed- and variable-basis approaches
inferred← citeshttps://doi.org/10.1016/j.fss.2011.07.016openalex-snapshot
Categorical foundations of variety-based topology and topological systems
inferred← citeshttps://doi.org/10.1016/j.fss.2019.02.018openalex-snapshot
The ⊤-filter monad and its applications
inferred← citeshttps://doi.org/10.1016/j.fss.2023.108737openalex-snapshot
Quantale-valued convex structures as lax algebras
inferred← citeshttps://doi.org/10.1016/j.jpaa.2026.108269openalex-snapshot
Toposes with enough points as categories of étale spaces
inferred← citeshttps://doi.org/10.1016/j.procs.2017.05.388openalex-snapshot
A middleware architecture for adaptive devices
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00246-3openalex-snapshot
Metric, topology and multicategory—a common approach
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00415-1openalex-snapshot
Taut Monads and T0-spaces
inferred← citeshttps://doi.org/10.1017/s0960129511000053openalex-snapshot
Domains occur among spaces as strict algebras among lax
inferred← citeshttps://doi.org/10.1017/s0960129523000166openalex-snapshot
Up-to techniques for behavioural metrics via fibrations
inferred← citeshttps://doi.org/10.1023/a:1008651524610openalex-snapshot
Categories of Relations and Functional Relations
inferred← citeshttps://doi.org/10.1023/a:1024274315778openalex-snapshot
Topological Features of Lax Algebras
inferred← citeshttps://doi.org/10.1023/b:apcs.0000018144.87456.10openalex-snapshot
One Setting for All: Metric, Topology, Uniformity, Approach Structure
inferred← citeshttps://doi.org/10.1109/lics.2017.8005117openalex-snapshot
Effectful applicative bisimilarity: Monads, relators, and Howe's method
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470633openalex-snapshot
A Relational Theory of Monadic Rewriting Systems, Part I
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175706openalex-snapshot
Weak Similarity in Higher-Order Mathematical Operational Semantics
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175807openalex-snapshot
Allegories of Symbolic Manipulations
inferred← citeshttps://doi.org/10.1111/j.1749-6632.1996.tb49189.xopenalex-snapshot
Convergence Axioms for Topology
inferred← citeshttps://doi.org/10.1142/s179300572250020xopenalex-snapshot
On the Probabilistic Convergence Spaces: Monad and its Eilenberg–Moore Category
inferred← citeshttps://doi.org/10.1145/2933575.2934554openalex-snapshot
Proving Differential Privacy via Probabilistic Couplings
inferred← citeshttps://doi.org/10.1145/3209108.3209149openalex-snapshot
Quantitative Behavioural Reasoning for Higher-order Effectful Programs
inferred← citeshttps://doi.org/10.1145/3498692openalex-snapshot
A relational theory of effects and coeffects
inferred← citeshttps://doi.org/10.1145/3547651openalex-snapshot
On Feller continuity and full abstraction
inferred← citeshttps://doi.org/10.1145/3661814.3662137openalex-snapshot
No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads
inferred← citeshttps://doi.org/10.1145/3720457openalex-snapshot
Adequacy for Algebraic Effects Revisited
inferred← citeshttps://doi.org/10.1145/3777483openalex-snapshot
Monadic Intersection Types, Relationally, and Ordered
inferred← citeshttps://doi.org/10.1145/3828674openalex-snapshot
Adequacy for Predicate Transformer Semantics
inferred← citeshttps://doi.org/10.2168/lmcs-8(3:2)2012openalex-snapshot
Completeness for the coalgebraic cover modality
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25cc9openalex-snapshot
Combining Semilattices and Semimodules
inferred← citeshttps://doi.org/10.4171/dm/950openalex-snapshot
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
inferred← citeshttps://doi.org/10.4204/eptcs.380.14openalex-snapshot
Lax Liftings and Lax Distributive Laws
inferred← citeshttps://doi.org/10.46298/lmcs-18(2:19)2022openalex-snapshot
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
inferred← citeshttps://doi.org/10.46298/lmcs-18(4:8)2022openalex-snapshot
Convexity via Weak Distributive Laws
inferred← citeshttps://doi.org/10.70675/bae6e60bz6d6ez4e30z81e4z3dfa94433bfcopenalex-snapshot
On the compositionality of monads via weak distributive laws
inferred← citeshttps://doi.org/10.70675/e25bcca0z1b66z4116z80eaz3397f4044ca3openalex-snapshot
Lifting Algebraic Reasoning to Generalized Metric Spaces
inferred← citeshttps://doi.org/10.70930/tac/1jk3eum9openalex-snapshot
Convergence in exponentiable spaces
inferred← citeshttps://doi.org/10.70930/tac/5mpsgoqvopenalex-snapshot
Canonical and op-canonical lax algebras
inferred← citeshttps://doi.org/10.70930/tac/7k5p4kcbopenalex-snapshot
Duality for distributive spaces
inferred← citeshttps://doi.org/10.70930/tac/7lbqej72openalex-snapshot
Lawvere Completeness as a Topological Property
inferred← citeshttps://doi.org/10.70930/tac/ax25gwxhopenalex-snapshot
Relative injectivity as cocompleteness for a class of distributors
inferred← citeshttps://doi.org/10.70930/tac/dbt8vespopenalex-snapshot
Extensions in the theory of lax algebras
inferred← citeshttps://doi.org/10.70930/tac/igzuglz9openalex-snapshot
Kleisli categories, T-categories and internal categories
inferred← citeshttps://doi.org/10.70930/tac/kdsub4r5openalex-snapshot
Exponentiability in categories of lax algebras
inferred← citeshttps://doi.org/10.70930/tac/mxocppslopenalex-snapshot
A unified framework for generalized multicategories
inferred← citeshttps://doi.org/10.70930/tac/nkg9v1zsopenalex-snapshot
Topological properties of non-Archimedean approach spaces
inferred← citeshttps://doi.org/10.70930/tac/qbt4hsd2openalex-snapshot
On the metrical and quantalic versions of the *-autonomous category of sup-lattices
inferred← citeshttps://doi.org/10.70930/tac/tvqajqkdopenalex-snapshot
Proper maps for lax algebras and the Kuratowski-Mrówka Theorem
inferred← citeshttps://doi.org/10.70930/tac/y8kujntkopenalex-snapshot
The comprehensive factorization of Burroni's 𝕋-functors
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.