subcircuit circuit cocategory coring cogroup comodule bidual cyclomatic number subcircuitry circuitry