Skip to main content
Back to top
Ctrl
+
K
DisCoPy
Reference API
syntax
abc
Category
ColouredMonoid
Monoid
Nat
MonoidalCategory
PRO
TracedCategory
ResiduatedMonoid
BiclosedCategory
Pregroup
RigidCategory
PivotalCategory
BraidedCategory
PROB
SymmetricCategory
PROP
MarkovCategory
ClosedCategory
FeedbackCategory
BalancedCategory
RibbonCategory
CompactCategory
HypergraphCategory
NamedGeneric
cat
Ob
FreeCategory
Arrow
Box
Id
Sum
Bubble
Functor
Transformation
Equation
factory
dumps
loads
monoidal
Colour
Wire
Ty
Nat
Dim
Layer
Diagram
Box
Sum
Bubble
Functor
Equation
braided
Wire
Diagram
Box
Braid
Sum
Functor
hexagon
balanced
Diagram
Box
Braid
Twist
Sum
Functor
symmetric
Permutation
Layer
Diagram
Box
Swap
Sum
Functor
markov
Diagram
Box
Swap
Permutation
Copy
Functor
closed
Ty
Exp
TermBase
Constant
Variable
Application
Abstraction
Diagram
Box
Eval
Coeval
Curry
Discard
Sum
Functor
CMap
feedback
Wire
HeadOb
TailOb
Ty
Layer
Diagram
Box
Swap
Feedback
FollowedBy
Head
Tail
Functor
traced
Diagram
Box
Trace
Functor
biclosed
Wire
Ty
Exp
Over
Under
Diagram
Box
Eval
Coeval
Curry
Sum
Functor
CMap
TermBase
Constant
Variable
Application
Abstraction
rigid
Wire
Ty
Nat
Diagram
Box
Cup
Cap
Sum
Functor
pivotal
Wire
Ty
Diagram
Box
Cup
Cap
Functor
ribbon
Diagram
Box
Cup
Cap
Braid
Functor
compact
Diagram
Box
Cup
Cap
Swap
Permutation
Functor
frobenius
Wire
Ty
Dim
Diagram
Box
Cup
Cap
Swap
Spider
Bubble
Functor
CMap
hypergraph
Spider
Wires
Boundary
Wiring
SpiderTypes
Hypergraph
pushout
cmap
PortKind
Port
CMap
semantics
python
finset
Function
Cycles
Permutation
function
Function
discopy.python.additive
Ty
Function
multiplicative
Ty
Function
exp
matrix
Matrix
Backend
NumPy
JAX
PyTorch
TensorFlow
backend
set_backend
get_backend
tensor
Dim
Tensor
Functor
Diagram
CMap
Box
Swap
Cup
Cap
Spider
Sum
Bubble
hopf
Algebra
Double
Representation
Intertwiner
Functor
stream
Ty
Stream
para
Symmetric
Traced
Markov
Closed
Feedback
Compact
Hypergraph
interaction
Ty
Diagram
NamedGeneric
Int
quantum
channel
CQ
Channel
Functor
C
Q
circuit
Wire
Digit
Qudit
Ty
Circuit
Box
Sum
Swap
Functor
index2bitstring
bitstring2index
gates
SelfConjugate
AntiConjugate
Discard
MixedState
Measure
Encode
QuantumGate
ClassicalGate
Copy
Match
Digits
Bits
Ket
Bra
Controlled
Parametrized
Rotation
Rx
Ry
Rz
CU1
CRz
CRx
Scalar
MixedScalar
Sqrt
sqrt
scalar
ansatze
IQPansatz
Sim14ansatz
Sim15ansatz
zx
Diagram
Box
Swap
Spider
Z
Y
X
Scalar
discopy.quantum.tk
Circuit
to_tk
from_tk
discopy.quantum.pennylane
PennyLaneCircuit
tk_op_to_pennylane
extract_ops_from_tk
get_post_selection_dict
to_pennylane
grammar
thue
Word
Rule
cfg
Tree
Rule
Word
Id
Operad
Algebra
categorial
TermBase
Constant
Variable
Abstraction
FA
BA
FC
BC
FX
BX
Diagram
Box
Word
ForwardCrossedComposition
BackwardCrossedComposition
Functor
CMap
cat2ty
tree2diagram
pregroup
Diagram
Box
Cup
Cap
Swap
Word
Functor
eager_parse
brute_force
dependency
from_spacy
drawing
drawing
Point
PlaneGraph
Drawing
backend
draw
Backend
TikZ
Matplotlib
Notebooks
Diagrams
Examples
Qnlp
Diag Diff
21 05 03 Tallcat
21 05 05 Tallcat
Higher Order Discocat
Extra
Talks
Blogs
Publications
Bibliography
.rst
.pdf
Wires
Contents
Wires
Wires
#
discopy.hypergraph.
Wires
#
Wires are n-tuples of
Spider
labels.
Contents
Wires