|
|
|
|
|
|
by ogogmad
598 days ago
|
|
|
In module theory, which is a bit close to ZX, category theory gets used in a big way to calculate things: See left/right exact functors, co/contravariant functors, derived functors, the hom-tensor adjunction, etc. But!! I'm not seeing ANY of that in ZX. |
|
|