CQ

class discopy.quantum.cqmap.CQ(classical=Dim(1), quantum=Dim(1))

Bases: Ty

Implements the dimensions of classical-quantum systems.

Parameters:

• classical (discopy.tensor.Dim) – Classical dimension.

• quantum (discopy.tensor.Dim) – Quantum dimension.

Note

In the category of monoids, CQ is the product of C and Q, which are both isomorphic to discopy.tensor.Dim.

Examples

>>> CQ(Dim(2), Dim(2))
C(Dim(2)) @ Q(Dim(2))
>>> CQ(Dim(2), Dim(2)) @ CQ(Dim(2), Dim(2))
C(Dim(2, 2)) @ Q(Dim(2, 2))