The algebra of partial equivalence relations
From MaRDI portal
Publication:1744396
DOI10.1016/j.entcs.2016.09.046zbMath1395.68190OpenAlexW2529093814WikidataQ113317626 ScholiaQ113317626MaRDI QIDQ1744396
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.046
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
