Advanced: DisCoPy usage

To understand lambeq in further depth, it is necessary to familiarise yourself with DisCoPy, the underlying library used for manipulating monoidal categories. After these tutorials, you will have the necessary knowledge to contribute to lambeq and DisCoPy.

• Monoidal categories in DisCoPy
  • Categories
  • Monoidal categories
  • Rigid monoidal categories
• DisCoCat in DisCoPy
  • Pregroup grammars
  • Functors
    • Example 1: “Very” functor
    • Example 2: Twist functor
  • Classical DisCoCat: Tensor networks
  • Quantum DisCoCat: Quantum circuits