Skip to main content

Ctrl+K

DisCoPy

Reference API

syntax
- abc
- cat
  - Ob
  - FreeCategory
  - Arrow
  - Box
  - Id
  - Sum
  - Bubble
  - Functor
  - Transformation
  - Equation
  - factory
  - dumps
  - loads
- monoidal
  - Colour
  - Wire
  - List
  - 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
  - Product
  - TermBase
  - Constant
  - Variable
  - Application
  - Abstraction
  - Compound
  - Tuple
  - Projection
  - Let
  - Substitution
  - Diagram
  - Box
  - Eval
  - Coeval
  - Curry
  - Pack
  - Unpack
  - Discard
  - Sum
  - Functor
  - CMap
  - let
- 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
- 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
- zx
  - Diagram
  - Box
  - Swap
  - Spider
  - Z
  - Y
  - X
  - Scalar
- discopy.quantum.tk
  - Circuit
  - to_tk
  - from_tk
- discopy.quantum.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
- abstract
  - Ty
  - Exp
  - Diagram
  - Box
  - Eval
  - Coeval
  - Curry
  - Copy
  - Discard
  - Permutation
  - Swap
  - Trace
  - Sum
  - Functor
  - Lexicon
  - TermBase
  - Constant
  - Variable
  - Application
  - Abstraction
drawing
- drawing
  - Point
  - PlaneGraph
  - Drawing
- backend
  - draw
  - Backend
  - TikZ
  - Matplotlib
testable
- testable
  - Equation
  - Axiom
  - AxiomFailure
  - Testable
  - Grid
  - ComposablePair
  - ComposableTriple
  - axiom
  - resolve
  - substitute
  - assert_axioms

Notebooks

What is a diagram?
Examples
QNLP Tutorial
Diagrammatic Differentiation
Categories for Linguistics
Categories for Quantum
Higher-Order DisCoCat

Extra

Talks
Blogs
Publications
Bibliography

.rst

QNLP Tutorial

QNLP Tutorial#

By Author name not set