Skip to main content
Back to top
Ctrl
+
K
DisCoPy
Reference API
cat
Ob
Arrow
Id
Box
Sum
Bubble
Functor
AxiomError
monoidal
Ty
PRO
Layer
Diagram
Id
Box
Sum
Swap
Bubble
Functor
rigid
Ob
Ty
PRO
Diagram
Id
Box
Swap
Cup
Cap
Functor
biclosed
Ty
Over
Under
Diagram
Id
Box
Curry
FA
BA
FC
Functor
hypergraph
pushout
Ty
Diagram
Box
Id
Swap
Spider
Cup
Cap
matrix
Matrix
tensor
Dim
Tensor
Functor
Diagram
Id
Box
Spider
Bubble
quantum
cqmap
circuit
gates
tk
pennylane
zx
optics
grammar
cfg
pregroup
ccg
drawing
Node
diagram2nx
nx2diagram
Backend
TikzBackend
MatBackend
draw
to_gif
pregroup_draw
equation
Equation
diagramize
utils
Notebooks
Basics
Crema di Mascarpone
Lasagna & Recursion
Performing a Bell test
pixels2diagram
diagramification
Advanced
Diagram rewriting
New features v0.3.3
Define your own category
Diagrammatic Differentiation
Diagrammatic Differentiation in Practice
discopy2pyzx
monoid-delooping
Quantum natural language processing
alice-loves-bob
bob-is-rich
qnlp-experiment
qnlp-tutorial
snake-removal
frobenius-anatomy
functorial-learning
Extra
Talks
Blogs
Publications
.rst
.pdf
ccg
ccg
#
Implements combinatory categorial grammars.