The algebra of partial equivalence relations

DOI10.1016/J.ENTCS.2016.09.046zbMath1395.68190OpenAlexW2529093814WikidataQ113317626 ScholiaQ113317626MaRDI QIDQ1744396

Fabio Zanasi

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.046

zbMATH Keywords

distributive lawFrobenius algebraPROPstring diagrampartial equivalence relation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Presentations of diagram categories ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cartesian bicategories. I
• Categorical logic and type theory
• The formal theory of monads. II
• Coreflections in algebraic quantum logic
• Syntax for split preorders
• Full Abstraction for Signal Flow Graphs
• Nets, Relations and Linking Diagrams
• Corelations are the prop for extraspecial commutative Frobenius monoids
• A Survey of Graphical Languages for Monoidal Categories
• Iterated distributive laws
• A Connector Algebra for P/T Nets Interactions
• A Categorical Semantics of Signal Flow Graphs
• Interacting Frobenius Algebras are Hopf
• Interacting quantum observables: categorical algebra and diagrammatics
• On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
• Interacting Bialgebras Are Frobenius
• Categorical algebra

This page was built for publication: The algebra of partial equivalence relations