monoidal category Electrical circuits Normalizing Transistor Networks (Cockett, Kalra, Srinivasan, 2023)