move interaction to semantics

discopy · Apr 12, 2024 · e1a0fde · e1a0fde
1 parent b16aa9d
commit e1a0fde
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 3 deletions.
diff --git a/discopy/stream.py b/discopy/stream.py
@@ -17,7 +17,7 @@
 
 Note
 ----
-Monoidal streams form a :mod:`feedback` category as follows:
+Monoidal streams form a feedback category as follows:
 
 >>> from discopy import feedback, drawing
 >>> x, y, m = map(feedback.Ty, "xym")
@@ -132,6 +132,8 @@
 >>> pi, id_dom = (0, 1, 2, 4, 3, 5), symmetric.Id(LHS.now.dom)
 >>> with symmetric.Diagram.hypergraph_equality:
 ...     assert LHS.now == id_dom.permute(*pi) >> RHS.now.permute(*pi)
+
+See :mod:`discopy.feedback` for the other axioms for feedback categories.
 """
 from __future__ import annotations
 

diff --git a/docs/api/semantics.rst b/docs/api/semantics.rst
@@ -11,3 +11,4 @@ DisCoPy's computational core: categories of functions, matrices and tensors.
     discopy.matrix
     discopy.tensor
     discopy.stream
+    discopy.interaction
diff --git a/docs/api/syntax.rst b/docs/api/syntax.rst
@@ -13,6 +13,7 @@ DisCoPy's mathematical core: a zoo of diagrams, categories and functors.
     discopy.balanced
     discopy.symmetric
     discopy.markov
+    discopy.feedback
     discopy.traced
     discopy.closed
     discopy.rigid
@@ -21,5 +22,3 @@ DisCoPy's mathematical core: a zoo of diagrams, categories and functors.
     discopy.compact
     discopy.frobenius
     discopy.hypergraph
-    discopy.interaction
-    discopy.feedback
diff --git a/test/syntax/interaction.py → test/semantics/interaction.py b/test/syntax/interaction.py → test/semantics/interaction.py