The algebra of partial equivalence relations

DOI10.1016/J.ENTCS.2016.09.046MaRDI QIDQ1744396zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2125662
• Editorial -- Recent trends in international reserves: theory and evidence
• Corelations are the prop for extraspecial commutative Frobenius monoids
• Universal constructions for (co)relations: categories, monoidal categories, and props
• Equivalence co-relatios and co-congruences of co-algebras

Cites work

• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• scientific article; zbMATH DE number 3503200 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 226803 (Why is no real title available?)
• scientific article; zbMATH DE number 2222245 (Why is no real title available?)
• A categorical semantics of signal flow graphs
• A connector algebra for P/T nets interactions
• A survey of graphical languages for monoidal categories
• Cartesian bicategories. I
• Categorical algebra
• Categorical logic and type theory
• Coreflections in algebraic quantum logic
• Corelations are the prop for extraspecial commutative Frobenius monoids
• Full abstraction for signal flow graphs
• Interacting Frobenius algebras are Hopf
• Interacting bialgebras are Frobenius
• Interacting quantum observables: categorical algebra and diagrammatics
• Iterated distributive laws
• Nets, relations and linking diagrams
• On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
• Syntax for split preorders
• The formal theory of monads. II

Cited in

(6)

• Partiality. I: Embedding relation algebras
• Syntax for split preorders
• Corelations are the prop for extraspecial commutative Frobenius monoids
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• Universal constructions for (co)relations: categories, monoidal categories, and props
• Presentations of diagram categories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744396)