Skip to main content

Ctrl+K

DisCoPy

Reference API

syntax
- cat
  - Ob
  - Arrow
  - Box
  - Id
  - Sum
  - Bubble
  - Category
  - Functor
  - Composable
  - factory
  - dumps
  - loads
- monoidal
  - Ty
  - PRO
  - Dim
  - Layer
  - Diagram
  - Box
  - Sum
  - Bubble
  - Category
  - Functor
  - Whiskerable
- braided
  - Diagram
  - Box
  - Braid
  - Sum
  - Category
  - Functor
  - hexagon
- balanced
  - Diagram
  - Box
  - Braid
  - Twist
  - Sum
  - Category
  - Functor
- symmetric
  - Diagram
  - Box
  - Swap
  - Sum
  - Category
  - Functor
- markov
  - Diagram
  - Box
  - Swap
  - Copy
  - Category
  - Functor
- feedback
  - Ob
  - HeadOb
  - TailOb
  - Ty
  - Layer
  - Diagram
  - Box
  - Swap
  - Feedback
  - FollowedBy
  - Head
  - Tail
  - Category
  - Functor
- traced
  - Diagram
  - Box
  - Trace
  - Category
  - Functor
- closed
  - Ty
  - Exp
  - Over
  - Under
  - Diagram
  - Box
  - Eval
  - Curry
  - Sum
  - Category
  - Functor
- rigid
  - Ob
  - Ty
  - PRO
  - Diagram
  - Box
  - Cup
  - Cap
  - Sum
  - Category
  - Functor
- pivotal
  - Ob
  - Ty
  - Diagram
  - Box
  - Cup
  - Cap
  - Category
  - Functor
- ribbon
  - Diagram
  - Box
  - Cup
  - Cap
  - Braid
  - Category
  - Functor
- compact
  - Diagram
  - Box
  - Cup
  - Cap
  - Swap
  - Category
  - Functor
- frobenius
  - Ob
  - Ty
  - Dim
  - Diagram
  - Box
  - Cup
  - Cap
  - Swap
  - Spider
  - Bubble
  - Category
  - Functor
- hypergraph
  - Spider
  - Wires
  - Boundary
  - Wiring
  - SpiderTypes
  - Hypergraph
  - pushout
semantics
- python
  - discopy.python.finset
    
    Function
  - 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
  - Box
  - Swap
  - Cup
  - Cap
  - Spider
  - Sum
  - Bubble
- stream
  - Ty
  - Stream
  - Category
- interaction
  - Ty
  - Diagram
  - NamedGeneric
  - Int
quantum
- channel
  - CQ
  - Channel
  - Functor
  - C
  - Q
- circuit
  - Ob
  - 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
  - Diagram
  - Box
  - Word
  - FA
  - BA
  - FC
  - BC
  - FX
  - BX
  - Functor
  - cat2ty
  - tree2diagram
- pregroup
  - Diagram
  - Box
  - Cup
  - Cap
  - Swap
  - Word
  - Category
  - Functor
  - eager_parse
  - brute_force
- dependency
  - from_spacy
drawing
- drawing
  - Point
  - PlaneGraph
  - Drawing
  - Equation
- backend
  - draw
  - Backend
  - TikZ
  - Matplotlib

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

FA

Contents

FA

FA#

class discopy.grammar.categorial.FA(over)[source]#

Bases: Constructor, Box

Forward application rule.

previous

Word

next

BA

Contents

FA

© Copyright 2019, DisCoPy.