drawing# DisCoPy’s drawing modules. drawing The category of labeled progressive plane graphs. backend DisCopy's drawing backends: Matplotlib and TikZ.