The algebra of partial equivalence relations
From MaRDI portal
Publication:1744396
DOI10.1016/J.ENTCS.2016.09.046zbMATH Open1395.68190OpenAlexW2529093814WikidataQ113317626 ScholiaQ113317626MaRDI QIDQ1744396FDOQ1744396
Authors: Fabio Zanasi
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.046
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
- Title not available (Why is that?)
- Categorical logic and type theory
- Coreflections in algebraic quantum logic
- A survey of graphical languages for monoidal categories
- Interacting quantum observables: categorical algebra and diagrammatics
- Title not available (Why is that?)
- Cartesian bicategories. I
- Categorical algebra
- The formal theory of monads. II
- Full abstraction for signal flow graphs
- Iterated distributive laws
- Title not available (Why is that?)
- A categorical semantics of signal flow graphs
- Interacting Frobenius algebras are Hopf
- On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
- Interacting bialgebras are Frobenius
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nets, relations and linking diagrams
- Syntax for split preorders
- Corelations are the prop for extraspecial commutative Frobenius monoids
- A connector algebra for P/T nets interactions
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)