Toggle navigation sidebar

Toggle in-page Table of Contents

DisCoPy

Reference API

syntax
- cat
  - Ob
  - Arrow
  - Box
  - Id
  - Sum
  - Bubble
  - Category
  - Functor
  - Composable
  - AxiomError
  - factory
  - dumps
  - loads
- monoidal
  - Ty
  - PRO
  - Layer
  - Diagram
  - Box
  - Sum
  - Bubble
  - Category
  - Functor
  - Whiskerable
- braided
  - Diagram
  - Box
  - Braid
  - Category
  - Functor
  - hexagon
- balanced
  - Diagram
  - Box
  - Braid
  - Twist
  - Category
  - Functor
- symmetric
  - Diagram
  - Box
  - Swap
  - Category
  - Functor
- cartesian
  - Diagram
  - Box
  - Swap
  - Copy
  - Category
  - Functor
- traced
  - Diagram
  - Box
  - Trace
  - Category
  - Functor
- closed
  - Ty
  - Exp
  - Over
  - Under
  - Diagram
  - Box
  - Eval
  - Curry
  - 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
  - Diagram
  - Box
  - Cup
  - Cap
  - Swap
  - Spider
  - Category
  - Functor
- hypergraph
  - Diagram
  - Box
  - pushout
semantics
- python
  - Ty
  - Function
  - exp
  - tuplify
  - untuplify
  - is_tuple
- matrix
  - Matrix
  - Backend
  - NumPy
  - JAX
  - PyTorch
  - TensorFlow
  - backend
  - get_backend
- tensor
  - Dim
  - Tensor
  - Functor
  - Diagram
  - Box
  - Swap
  - Cup
  - Cap
  - Spider
  - Sum
  - Bubble
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
  - Scalar
  - MixedScalar
  - Sqrt
  - CRz
  - CRx
  - 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
  - Rule
  - Word
  - FA
  - BA
  - FC
  - BC
  - FX
  - BX
  - Functor
  - cat2ty
  - tree2diagram
- pregroup
  - Diagram
  - Box
  - Cup
  - Cap
  - Swap
  - Word
  - eager_parse
  - brute_force
- dependency
  - from_spacy
drawing
- legacy
  - Node
  - Backend
  - TikzBackend
  - MatBackend
  - Equation
  - diagram2nx
  - nx2diagram
  - diagramize
- grid
  - Cell
  - Wire
  - Grid

Notebooks

What is a diagram?
QNLP Tutorial
Diagrammatic Differentiation
Categories for Linguistics
Categories for Quantum

Extra

Talks
Blogs
Publications
Bibliography

.rst

BA

BA#

class discopy.grammar.categorial.BA(under)[source]#

Bases: Constructor, Rule

Backward application rule.

previous

FA

next

FC

© Copyright 2019, DisCoPy.