The algebra of partial equivalence relations (Q1744396): Difference between revisions

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